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/nat.ts | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

(limited to 'stdlib/nat.ts')

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>
-- 
cgit v1.3.1