src/stdlib/stdio.ts


1
2
3
4
5
6
7
8
9
10

import { EffectAtom } from './io'

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

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

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

export interface ReadLine extends EffectAtom<string> { }