aboutsummaryrefslogtreecommitdiff
path: root/examples/file.ts
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-06 20:40:29 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-06 20:43:49 +0530
commitcda0419722b022ed0a8f3c4fd3122230b19a0c64 (patch)
tree6d63849e950cc4c0257a2368560eb1bafefbd9d4 /examples/file.ts
parenta56f093bf08780ab7ed7ef196f031c193a522922 (diff)
downloadts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.tar.gz
ts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.zip
feat: adds examples for everything
Diffstat (limited to 'examples/file.ts')
-rw-r--r--examples/file.ts9
1 files changed, 9 insertions, 0 deletions
diff --git a/examples/file.ts b/examples/file.ts
new file mode 100644
index 0000000..3de26d3
--- /dev/null
+++ b/examples/file.ts
@@ -0,0 +1,9 @@
+import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib'
+
+interface PrintK extends Kind1<string> {
+ return: PutStringLn<this['input']>
+}
+
+export type main = [
+ Bind<ReadFile<"./default.nix">, PrintK>,
+]