diff options
Diffstat (limited to '')
| -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> -] |
