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/custom-effect.ts | 10 ++++++++++
 examples/ffi.ts           | 12 ++++++++++++
 examples/file.ts          |  9 +++++++++
 examples/greeting.ts      | 14 ++++++++++++++
 examples/guess-number.ts  | 15 +++++++++++++++
 5 files changed, 60 insertions(+)
 create mode 100644 examples/custom-effect.ts
 create mode 100644 examples/ffi.ts
 create mode 100644 examples/file.ts
 create mode 100644 examples/greeting.ts
 create mode 100644 examples/guess-number.ts

(limited to 'examples')

diff --git a/examples/custom-effect.ts b/examples/custom-effect.ts
new file mode 100644
index 0000000..948caf4
--- /dev/null
+++ b/examples/custom-effect.ts
@@ -0,0 +1,10 @@
+import { DefineEffect, Effect } from '../src/stdlib'
+
+interface Wow<_A, _B> extends Effect { }
+
+export type main = [
+  DefineEffect<"Wow", `(a, b) => {
+    console.log(typeToString(a), '-->', typeToString(b))
+  }`>,
+  Wow<"a", 69>,
+]
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 =">>,
+]
diff --git a/examples/file.ts b/examples/file.ts
new file mode 100644
index 0000000..3de26d3
--- /dev/null
+++ b/examples/file.ts
@@ -0,0 +1,9 @@
+import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib'
+
+interface PrintK extends Kind1<string> {
+  return: PutStringLn<this['input']>
+}
+
+export type main = [
+  Bind<ReadFile<"./default.nix">, PrintK>,
+]
diff --git a/examples/greeting.ts b/examples/greeting.ts
new file mode 100644
index 0000000..5e1a164
--- /dev/null
+++ b/examples/greeting.ts
@@ -0,0 +1,14 @@
+import { PutString, Bind, Kind1, ReadLine, Seq } from '../src/stdlib'
+
+interface GreetK extends Kind1<string> {
+  return: Seq<[
+    PutString<"Hello, ">,
+    PutString<`${this['input']}\n`>
+  ]>,
+}
+
+export type main = [
+  PutString<"Your name? ">,
+  Bind<ReadLine, GreetK>,
+]
+
diff --git a/examples/guess-number.ts b/examples/guess-number.ts
new file mode 100644
index 0000000..aca3915
--- /dev/null
+++ b/examples/guess-number.ts
@@ -0,0 +1,15 @@
+import { Print, PutString, Bind, Kind1, JsExpr, ReadLine, Seq } from '../src/stdlib'
+
+export type main = Bind<
+  JsExpr<"Math.floor(Math.random() * 10)">,
+  StartGuessing
+>
+
+interface AskForGuess<N extends number> extends Kind1<string> {
+  return: this['input'] extends `${N}` ? Print<"Yaya"> : Print<"naaah">
+}
+
+interface StartGuessing extends Kind1<number> {
+  return: Bind<Seq<[PutString<"Your guess? ">, ReadLine]>, AskForGuess<this['input']>>
+}
+
-- 
cgit v1.3.1