From 580ef150778326262d04018460f672bda53d5696 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Sun, 8 Jan 2023 23:07:41 +0530 Subject: chore: adds prettier --- stdlib/fs.ts | 6 +++--- stdlib/io.ts | 14 ++++++++------ stdlib/stdio.ts | 9 ++++----- stdlib/sys.ts | 7 +++---- 4 files changed, 18 insertions(+), 18 deletions(-) (limited to 'stdlib') diff --git a/stdlib/fs.ts b/stdlib/fs.ts index 1374da5..f7014ff 100644 --- a/stdlib/fs.ts +++ b/stdlib/fs.ts @@ -1,6 +1,6 @@ import { Effect } from './io' -export interface WriteFile<_Path extends string, _Content extends string> extends Effect { } - -export interface ReadFile<_Path extends string> extends Effect { } +export interface WriteFile<_Path extends string, _Content extends string> + extends Effect {} +export interface ReadFile<_Path extends string> extends Effect {} diff --git a/stdlib/io.ts b/stdlib/io.ts index c78204f..c37cd32 100644 --- a/stdlib/io.ts +++ b/stdlib/io.ts @@ -1,15 +1,17 @@ -export interface Effect { output: T } +export interface Effect { + output: T +} export interface Kind1 { input: Inp return: Out } -export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect { } - -export interface Seq<_Effs extends Effect[]> extends Effect { } +export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect {} -export interface Do<_Effs extends Effect[]> extends Effect { } +export interface Seq<_Effs extends Effect[]> extends Effect {} -export interface DefineEffect<_Name extends string, _Func extends string> extends Effect { } +export interface Do<_Effs extends Effect[]> extends Effect {} +export interface DefineEffect<_Name extends string, _Func extends string> + extends Effect {} diff --git a/stdlib/stdio.ts b/stdlib/stdio.ts index 365aead..77aa031 100644 --- a/stdlib/stdio.ts +++ b/stdlib/stdio.ts @@ -1,12 +1,11 @@ import { Effect } from './io' -export interface PutString<_ extends string> extends Effect { } +export interface PutString<_ extends string> extends Effect {} -export interface Print<_ extends any> extends Effect { } +export interface Print<_ extends any> extends Effect {} -export interface Debug<_ extends string, T> extends Effect { } +export interface Debug<_ extends string, T> extends Effect {} -export interface ReadLine extends Effect { } +export interface ReadLine extends Effect {} export type PutStringLn = PutString<`${S}\n`> - diff --git a/stdlib/sys.ts b/stdlib/sys.ts index 03541be..afa5dbd 100644 --- a/stdlib/sys.ts +++ b/stdlib/sys.ts @@ -1,8 +1,7 @@ import { Effect } from './io' -export interface GetEnv<_Name extends string> extends Effect { } +export interface GetEnv<_Name extends string> extends Effect {} -export interface GetArgs extends Effect { } - -export interface JsExpr<_Expr extends string> extends Effect { } +export interface GetArgs extends Effect {} +export interface JsExpr<_Expr extends string> extends Effect {} -- cgit v1.3.1