diff options
Diffstat (limited to 'std/Monad.bruijn')
| -rw-r--r-- | std/Monad.bruijn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/std/Monad.bruijn b/std/Monad.bruijn index 97291eb..0dae29e 100644 --- a/std/Monad.bruijn +++ b/std/Monad.bruijn @@ -37,6 +37,9 @@ sequence foldr (lift-m2 cons) {}empty ⧗ (List (M a)) → (M (List a)) >‣ [sequence ∘∘ 0] +# traverses list based on modifier +traverse sequence ∘∘ map ⧗ (a → (M b)) → (N a) → (M (N b)) + # performs action n times replicate-m >replicate ⧗ Number → (M a) → (M (List a)) |