aboutsummaryrefslogtreecommitdiff
path: root/examples/file.ts
diff options
context:
space:
mode:
Diffstat (limited to 'examples/file.ts')
-rw-r--r--examples/file.ts25
1 files changed, 14 insertions, 11 deletions
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>,