stdlib/stdio.ts


1
2
3
4
5
6
7
8
9
10
11
12
13
14

import { Effect } from './effect'

export interface PutString<_ extends string> extends Effect {}

export interface Print<_ extends any> extends Effect {}

export interface Debug<_ extends string, T> extends Effect<T> {}

export interface ReadLine extends Effect<string> {}

export type PutStringLn<S extends string> =
  S extends infer S extends string
    ? PutString<`${S}\n`>
    : never