From 072707de34348a1c01eeeb90006c5ca828d2a992 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 19:08:54 +0200
Subject: Scrappy parser combinators

---
 std/Monad/Generic.bruijn | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 std/Monad/Generic.bruijn

(limited to 'std/Monad/Generic.bruijn')

diff --git a/std/Monad/Generic.bruijn b/std/Monad/Generic.bruijn
new file mode 100644
index 0000000..619ecc3
--- /dev/null
+++ b/std/Monad/Generic.bruijn
@@ -0,0 +1,16 @@
+# MIT License, Copyright (c) 2024 Marvin Borner
+# for now, monads, functors, applicative, etc are all in here..
+
+# TODO: more monad interface
+
+liftA map ⧗ (a → b) → (f a) → (f b)
+
+liftA2 ap ∘∘ map ⧗ (a → b → c) → (f a) → (f b) → (f c)
+
+liftA3 [[[[(liftA2 3 2 1) <*> 0]]]] ⧗ (a → b → c → d) → (f a) → (f b) → (f c) → (f d)
+
+…<$… map ∘ k ⧗ a → (f b) → (f a)
+
+…*>… [[(i <$ 1) <*> 0]] ⧗ (f a) → (f b) → (f b)
+
+…<*… liftA2 k ⧗ (f a) → (f b) → (f a)
-- 
cgit v1.2.3