From cda0419722b022ed0a8f3c4fd3122230b19a0c64 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Fri, 6 Jan 2023 20:40:29 +0530
Subject: feat: adds examples for everything

---
 examples/ffi.ts | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 examples/ffi.ts

(limited to 'examples/ffi.ts')

diff --git a/examples/ffi.ts b/examples/ffi.ts
new file mode 100644
index 0000000..7a73a0a
--- /dev/null
+++ b/examples/ffi.ts
@@ -0,0 +1,12 @@
+import { Bind, Debug, JsExpr, Kind1 } from "../src/stdlib"
+
+interface PrintK<Label extends string = ""> extends Kind1 {
+  return: Debug<Label, this['input']>
+}
+
+type Square<N extends number> = JsExpr<`${N} ** 2`>
+
+export type main = [
+  Bind<JsExpr<"{ boobaa: [5 * 3, 5 * 2] }">, PrintK<'|'>>,
+  Bind<Square<69>, PrintK<"69^2 =">>,
+]
-- 
cgit v1.3.1