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 ++++++++++++++-----------
 1 file changed, 14 insertions(+), 11 deletions(-)

(limited to 'examples/file.ts')

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