From 518a6a9ee31f0b03f08cb77bc613b4d708bb640b Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Fri, 13 Jan 2023 20:32:20 +0530
Subject: chore: prettier

---
 stdlib/effect.ts    |  1 -
 stdlib/exception.ts |  2 +-
 stdlib/nat.ts       | 19 +++++++++++--------
 stdlib/stdio.ts     |  7 +++----
 stdlib/sys.ts       |  7 ++++---
 stdlib/test.ts      |  7 ++++---
 stdlib/util.ts      |  8 +++++---
 7 files changed, 28 insertions(+), 23 deletions(-)

(limited to 'stdlib')

diff --git a/stdlib/effect.ts b/stdlib/effect.ts
index 9fe3216..5ae9cd9 100644
--- a/stdlib/effect.ts
+++ b/stdlib/effect.ts
@@ -14,4 +14,3 @@ export interface Seq<_Effs extends Effect[]> extends Effect {}
 export interface Do<_Effs extends Effect[]> extends Effect {}
 
 export interface Pure<V> extends Effect<V> {}
-
diff --git a/stdlib/exception.ts b/stdlib/exception.ts
index 731b3b0..ddb980c 100644
--- a/stdlib/exception.ts
+++ b/stdlib/exception.ts
@@ -1,4 +1,4 @@
-import { Effect, Kind1 } from "./effect";
+import { Effect, Kind1 } from './effect'
 
 export interface Try<_E extends Effect, _Catch extends Kind1> extends Effect {}
 
diff --git a/stdlib/nat.ts b/stdlib/nat.ts
index 4334a30..52877c1 100644
--- a/stdlib/nat.ts
+++ b/stdlib/nat.ts
@@ -3,16 +3,19 @@ export type Zero = { _prev: null }
 export type Succ<N extends Nat> = { _prev: N }
 export type Pred<N extends Nat> = N extends Zero ? Zero : N['_prev']
 
-export type Add<A extends Nat, B extends Nat> =
-  A extends Zero ? B : Add<Pred<A>, Succ<B>>
+export type Add<A extends Nat, B extends Nat> = A extends Zero
+  ? B
+  : Add<Pred<A>, Succ<B>>
 
-export type ToNumber<N extends Nat, Acc extends 0[] = []> =
-  N extends Zero ? Acc['length']
-    : ToNumber<Pred<N>, [...Acc, 0]>
+export type ToNumber<N extends Nat, Acc extends 0[] = []> = N extends Zero
+  ? Acc['length']
+  : ToNumber<Pred<N>, [...Acc, 0]>
 
-export type FromNumber<N extends number, Res extends Nat = Zero, Acc extends 0[] = []> =
-  N extends Acc['length'] ? Res
-    : FromNumber<N, Succ<Res>, [...Acc, 0]>
+export type FromNumber<
+  N extends number,
+  Res extends Nat = Zero,
+  Acc extends 0[] = []
+> = N extends Acc['length'] ? Res : FromNumber<N, Succ<Res>, [...Acc, 0]>
 
 export type _0 = Zero
 export type _1 = Succ<_0>
diff --git a/stdlib/stdio.ts b/stdlib/stdio.ts
index 56b546d..b1e205b 100644
--- a/stdlib/stdio.ts
+++ b/stdlib/stdio.ts
@@ -8,7 +8,6 @@ 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
+export type PutStringLn<S extends string> = S extends infer S extends string
+  ? PutString<`${S}\n`>
+  : never
diff --git a/stdlib/sys.ts b/stdlib/sys.ts
index 9fff7a9..0b48fa8 100644
--- a/stdlib/sys.ts
+++ b/stdlib/sys.ts
@@ -9,7 +9,8 @@ export interface JsExpr<_Expr extends string> extends Effect<any> {}
 export interface DefineEffect<_Name extends string, _Func extends string>
   extends Effect {}
 
-export interface Exit<_ extends number | undefined = undefined> extends Effect {}
-
-export interface SetEvalEnvironment<_Env extends 'test.node' | 'node'> extends Effect {}
+export interface Exit<_ extends number | undefined = undefined>
+  extends Effect {}
 
+export interface SetEvalEnvironment<_Env extends 'test.node' | 'node'>
+  extends Effect {}
diff --git a/stdlib/test.ts b/stdlib/test.ts
index 7497f7b..639c433 100644
--- a/stdlib/test.ts
+++ b/stdlib/test.ts
@@ -1,4 +1,4 @@
-import { Effect } from "./effect";
+import { Effect } from './effect'
 
 export interface Config {
   compileTimeTestFailures: false
@@ -7,5 +7,6 @@ export interface Config {
 
 type Assertion = Config['compileTimeTestFailures'] extends true ? true : boolean
 
-export interface Assert<_B extends Assertion> extends Effect { }
-export interface Test<_m extends string, _effs extends Effect[]> extends Effect { }
+export interface Assert<_B extends Assertion> extends Effect {}
+export interface Test<_m extends string, _effs extends Effect[]>
+  extends Effect {}
diff --git a/stdlib/util.ts b/stdlib/util.ts
index 4851392..20a41fb 100644
--- a/stdlib/util.ts
+++ b/stdlib/util.ts
@@ -21,8 +21,10 @@ export type ADT<D extends Record<string, any>> = {
   ? { t: Rec[keyof Rec] } & { [k in keyof Rec]: ADTConstructor<Rec[k]> }
   : never
 
-export type Equals<Left, Right> =
-  [Left] extends [Right] ? ([Right] extends [Left] ? true : false) : false
+export type Equals<Left, Right> = [Left] extends [Right]
+  ? [Right] extends [Left]
+    ? true
+    : false
+  : false
 
 export type Not<B extends boolean> = B extends true ? false : true
-
-- 
cgit v1.3.1