diff options
| author | Marvin Borner | 2024-11-27 15:16:11 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-11-27 15:16:11 +0100 |
| commit | 4b38d1af08288e80a29c84fe02a40ac925331f21 (patch) | |
| tree | ba2e959966c1fb4ccb521cf41aaeb7fe2005d775 /std/Generic/Monad.bruijn | |
| parent | 96c3527d87766f3fb653c31306eb78317dcbc1cf (diff) | |
Monad improvements
Diffstat (limited to 'std/Generic/Monad.bruijn')
| -rw-r--r-- | std/Generic/Monad.bruijn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/std/Generic/Monad.bruijn b/std/Generic/Monad.bruijn index 9e6c5d3..5373822 100644 --- a/std/Generic/Monad.bruijn +++ b/std/Generic/Monad.bruijn @@ -17,6 +17,10 @@ liftA3 [[[[(liftA2 3 2 1) <*> 0]]]] ⧗ (a → b → c → d) → (M a) → (M b …<*… liftA2 k ⧗ (M a) → (M b) → (M a) +…=<<… \bind + +…>>… [[1 >>= [1]]] ⧗ (M a) → (M b) → (M b) + # TODO: traverse, sequence # in parser: string = traverse char! |