aboutsummaryrefslogtreecommitdiff
path: root/examples/custom-effect.ts
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-11 16:02:26 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-11 16:02:26 +0530
commit49d6379c3d40b684b28f4a957ff1ffb81a2560ee (patch)
treefac62b2de1670ecfea6496949b028fa8fe0fe444 /examples/custom-effect.ts
parenta6ff70d09e1e5f161e401a3665bfe44b2abfc44e (diff)
downloadts-types-lang-49d6379c3d40b684b28f4a957ff1ffb81a2560ee.tar.gz
ts-types-lang-49d6379c3d40b684b28f4a957ff1ffb81a2560ee.zip
refactor: minor refactor all around
Diffstat (limited to '')
-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>
-]