blob: 619ecc33b2e37559f19d79792b7c6715c75c481b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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)
|
