From b347afc70c305b47860a40bac43c3fe407a3c25a Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 14 Jan 2023 11:27:51 +0530
Subject: chore: prettier

---
 examples/file.ts     | 25 ++++++++++++++-----------
 examples/greeting.ts |  5 ++---
 2 files changed, 16 insertions(+), 14 deletions(-)

(limited to 'examples')

diff --git a/examples/file.ts b/examples/file.ts
index fb38613..ccb8a66 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -8,21 +8,24 @@ interface PrintK extends Kind1<string> {
 }
 
 export type main = [
-  Do<[
-    BindTo<"contents", ReadFile<'./bin.js'>>,
-    PutStringLn<"------">,
-    Bind<Label<"contents">, <c extends string>() => PutStringLn<c>>,
-  ]>,
+  Do<
+    [
+      BindTo<'contents', ReadFile<'./bin.js'>>,
+      PutStringLn<'------'>,
+      Bind<Label<'contents'>, <c extends string>() => PutStringLn<c>>
+    ]
+  >,
 
-  Try<Bind<Label<"contents">, PrintK>, <e extends string>() =>
-    PutStringLn<`ERROR: ${e}`>>,
+  Try<
+    Bind<Label<'contents'>, PrintK>,
+    <e extends string>() => PutStringLn<`ERROR: ${e}`>
+  >,
 
-  PutStringLn<"-------------">,
+  PutStringLn<'-------------'>,
 
-  Bind<ReadFile<'./default.nix'>, <c extends string>() =>
-    PutStringLn<c>>,
+  Bind<ReadFile<'./default.nix'>, <c extends string>() => PutStringLn<c>>,
 
-  PutStringLn<"-------------">,
+  PutStringLn<'-------------'>,
 
   Try<
     Bind<ReadFile<'./unicorn'>, PrintK>,
diff --git a/examples/greeting.ts b/examples/greeting.ts
index 8ed2181..72edde2 100644
--- a/examples/greeting.ts
+++ b/examples/greeting.ts
@@ -10,12 +10,11 @@ export type main = [
 
   PutStringLn<'----------------'>,
   PutString<'Your name? '>,
-  Bind<ReadLine, <name extends string>() =>
-    PutStringLn<`Hello, ${name}`>>,
+  Bind<ReadLine, <name extends string>() => PutStringLn<`Hello, ${name}`>>,
 
   PutStringLn<'----------------'>,
   PutString<'Your purpose in life? '>,
   Bind<ReadLine, ResponseK>,
 
-  PutStringLn<'----------------'>,
+  PutStringLn<'----------------'>
 ]
-- 
cgit v1.3.1