diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-06 20:40:29 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-06 20:43:49 +0530 |
| commit | cda0419722b022ed0a8f3c4fd3122230b19a0c64 (patch) | |
| tree | 6d63849e950cc4c0257a2368560eb1bafefbd9d4 /examples/greeting.ts | |
| parent | a56f093bf08780ab7ed7ef196f031c193a522922 (diff) | |
| download | ts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.tar.gz ts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.zip | |
feat: adds examples for everything
Diffstat (limited to 'examples/greeting.ts')
| -rw-r--r-- | examples/greeting.ts | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/examples/greeting.ts b/examples/greeting.ts new file mode 100644 index 0000000..5e1a164 --- /dev/null +++ b/examples/greeting.ts @@ -0,0 +1,14 @@ +import { PutString, Bind, Kind1, ReadLine, Seq } from '../src/stdlib' + +interface GreetK extends Kind1<string> { + return: Seq<[ + PutString<"Hello, ">, + PutString<`${this['input']}\n`> + ]>, +} + +export type main = [ + PutString<"Your name? ">, + Bind<ReadLine, GreetK>, +] + |