From d5d685253568f8c6855dd873ac3623e0af642d54 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Fri, 6 Jan 2023 23:33:00 +0530
Subject: feat: adds output for custom effects + adds custom effect example for
 ffi

---
 examples/ffi.ts | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'examples/ffi.ts')

diff --git a/examples/ffi.ts b/examples/ffi.ts
index 7a73a0a..3310712 100644
--- a/examples/ffi.ts
+++ b/examples/ffi.ts
@@ -1,4 +1,4 @@
-import { Bind, Debug, JsExpr, Kind1 } from "../src/stdlib"
+import { Bind, Debug, DefineEffect, Effect, JsExpr, Kind1 } from "../src/stdlib"
 
 interface PrintK<Label extends string = ""> extends Kind1 {
   return: Debug<Label, this['input']>
@@ -6,7 +6,14 @@ interface PrintK<Label extends string = ""> extends Kind1 {
 
 type Square<N extends number> = JsExpr<`${N} ** 2`>
 
+interface Mathemagic<_A, _B extends number> extends Effect { }
+
 export type main = [
   Bind<JsExpr<"{ boobaa: [5 * 3, 5 * 2] }">, PrintK<'|'>>,
   Bind<Square<69>, PrintK<"69^2 =">>,
+  DefineEffect<"Mathemagic", `(a, b) => {
+    console.log(typeToString(a))
+    return { result: 5 * b.getLiteralValue() }
+  }`>,
+  Bind<Mathemagic<"a", 69>, PrintK<'69 * 5 ='>>,
 ]
-- 
cgit v1.3.1