diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-11 16:02:26 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-11 16:02:26 +0530 |
| commit | 49d6379c3d40b684b28f4a957ff1ffb81a2560ee (patch) | |
| tree | fac62b2de1670ecfea6496949b028fa8fe0fe444 /examples/greeting.ts | |
| parent | a6ff70d09e1e5f161e401a3665bfe44b2abfc44e (diff) | |
| download | ts-types-lang-49d6379c3d40b684b28f4a957ff1ffb81a2560ee.tar.gz ts-types-lang-49d6379c3d40b684b28f4a957ff1ffb81a2560ee.zip | |
refactor: minor refactor all around
Diffstat (limited to 'examples/greeting.ts')
| -rw-r--r-- | examples/greeting.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/greeting.ts b/examples/greeting.ts index e4c2161..d3d755f 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -1,8 +1,8 @@ -import { Bind, Kind1, Seq } from '../stdlib/effect' +import { Bind, Kind1 } from '../stdlib/effect' import { PutString, ReadLine, PutStringLn } from '../stdlib/stdio' interface GreetK extends Kind1<string> { - return: Seq<[PutString<'Hello, '>, PutString<`${this['input']}\n`>]> + return: PutStringLn<`Hello, ${this['input']}`> } export type main = [ |