1 files changed, 96 insertions, 0 deletions
diff --git a/tests/builtins.spec.ts b/tests/builtins.spec.ts
new file mode 100644
index 0000000..cd4b5c4
--- /dev/null
+++ b/tests/builtins.spec.ts
@@ -0,0 +1,96 @@
+import { Bind, BindTo, Do, Effect, Label, Pure } from '../stdlib/effect'
+import { Throw, Try } from '../stdlib/exception'
+import { PutStringLn } from '../stdlib/stdio'
+import { DefineEffect, JsExpr, SetEvalEnvironment } from '../stdlib/sys'
+import { Test, AssertEqualsK, AssertEquals } from '../stdlib/test'
+
+type testBind = Do<[
+  PutStringLn<'Bind & BindTo'>,
+
+  Test<'should bind value to function and kind', [
+    Bind<Pure<[1,2,3]>, <val extends number[]>() =>
+      AssertEquals<val, [1, 2, 3]>>,
+
+    Bind<Pure<[1,2,3]>, AssertEqualsK<[1,2,3]>>,
+  ]>,
+
+  Test<'should bind label correctly', [
+    BindTo<"value", Pure<{ a: 'b', c: { d: 1 } }>>,
+
+    Bind<Label<"value">, AssertEqualsK<{ a: 'b', c: { d: 1 } }>>,
+  ]>,
+
+  Test<'should bind only inside Do scope', [
+    Do<[
+      BindTo<"value", Pure<"some value">>,
+      Bind<Label<"value">, AssertEqualsK<"some value">>,
+    ]>,
+
+    Bind<
+      Try<Label<"value">, <_>() => Pure<"none">>,
+      AssertEqualsK<"none">
+    >,
+  ]>,
+
+  Test<'should bind only inside Bind scope', [
+    Bind<
+      BindTo<"value", Pure<"some value">>,
+      <_>() => Bind<Label<"value">, AssertEqualsK<"some value">>
+    >,
+
+    Bind<
+      Try<Label<"value">, <_>() => Pure<"none">>,
+      AssertEqualsK<"none">
+    >,
+  ]>,
+]>
+
+type testExcpt = Do<[
+  PutStringLn<'Try/Throw'>,
+
+  Test<'should return the result of effect', [
+    Bind<Try<Pure<20>, <_>() => Pure<0>>,
+      AssertEqualsK<20>>,
+  ]>,
+
+  Test<'should return the result of error handler', [
+    Bind<Try<Do<[ Throw<"wow">, Pure<20> ]>, <_>() => Pure<0>>,
+      AssertEqualsK<0>>,
+
+    Bind<Try<Do<[ Throw<"wow">, Pure<20> ]>, <e>() => Pure<e>>,
+      AssertEqualsK<"wow">>,
+  ]>,
+]>
+
+interface MyEffect<_a extends number, _b extends string, _c extends unknown> extends Effect {}
+type testFFI = Do<[
+  PutStringLn<'FFI'>,
+
+  Test<'should return the result of js expression', [
+    Bind<JsExpr<'69 * 420'>, AssertEqualsK<28980>>,
+  ]>,
+
+  Test<'should test custom effect', [
+    DefineEffect<'MyEffect', `([a, b, c], ctx) => {
+      return [
+        ctx.getTypeValue(a) * 2,
+        ctx.getTypeValue(b) + '!',
+        [...ctx.getTypeValue(c), 'wow'],
+      ]
+    }`>,
+    Bind<MyEffect<4, "hey", [1, 2]>, AssertEqualsK<[
+      8, "hey!", [1, 2, 'wow'],
+    ]>>,
+  ]>,
+]>
+
+export type main = [
+  SetEvalEnvironment<'test.node'>,
+
+  PutStringLn<'====================='>,
+  PutStringLn<'=== Running tests ==='>,
+  PutStringLn<'=====================\n\n'>,
+  testBind,
+  testExcpt,
+  testFFI,
+]