diff options
| author | Marvin Borner | 2024-03-23 19:18:16 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-23 19:18:16 +0100 |
| commit | 7bfc78b122ad9cbb65eed16f7de4d4021547c2a8 (patch) | |
| tree | e45a22aeddb12257a94e32083ed10dfa3a0da66e /std/Monad.bruijn | |
| parent | fc9980e5e19602748b8cc596cdd07c02ac2889f1 (diff) | |
Some Project Euler solutions
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)) |