diff options
| author | Marvin Borner | 2024-10-26 20:36:13 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-10-26 20:49:11 +0200 |
| commit | f0114240cecd453c2be7bb760455f0eb5b7a02a0 (patch) | |
| tree | 25701a05e4bf6df011baca7a3ac9c2ce653c3882 /std/Monad/Generic.bruijn | |
| parent | 072707de34348a1c01eeeb90006c5ca828d2a992 (diff) | |
Initial minibruijn
Diffstat (limited to 'std/Monad/Generic.bruijn')
| -rw-r--r-- | std/Monad/Generic.bruijn | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/std/Monad/Generic.bruijn b/std/Monad/Generic.bruijn deleted file mode 100644 index 619ecc3..0000000 --- a/std/Monad/Generic.bruijn +++ /dev/null @@ -1,16 +0,0 @@ -# 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) |