aboutsummaryrefslogtreecommitdiff
path: root/examples/custom-effect.ts
diff options
context:
space:
mode:
Diffstat (limited to 'examples/custom-effect.ts')
-rw-r--r--examples/custom-effect.ts20
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>
-]