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/custom-effect.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/custom-effect.ts')
| -rw-r--r-- | examples/custom-effect.ts | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/examples/custom-effect.ts b/examples/custom-effect.ts deleted file mode 100644 index 74c96b0..0000000 --- a/examples/custom-effect.ts +++ /dev/null @@ -1,20 +0,0 @@ -import { Bind, Effect, Kind1 } from '../stdlib/effect' -import { DefineEffect } from '../stdlib/sys' -import { Print } from '../stdlib/stdio' - -interface Mathemagic<_A, _B> extends Effect {} - -interface PrintK extends Kind1 { - return: Print<this['input']> -} - -export type main = [ - DefineEffect< - 'Mathemagic', - `(a, b) => { - console.log(typeToString(a)) - return { result: 5 * b.getLiteralValue() } - }` - >, - Bind<Mathemagic<'a', 69>, PrintK> -] |