diff options
Diffstat (limited to 'std/List.bruijn')
| -rw-r--r-- | std/List.bruijn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 488c131..ed16530 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -510,6 +510,11 @@ iterate z [[[rec]]] ⧗ (a → a) → a → (List a) :test (take (+5) (iterate i (+4))) (take (+5) (repeat (+4))) :test (take (+0) (iterate ++‣ (+0))) (empty) +# enumerate list +enumerate zip (iterate ++‣ (+0)) ⧗ (List a) → (List (Pair Number a)) + +:test (enumerate "abc") (((+0) : 'a') : (((+1) : 'b') : {}((+2) : 'c'))) + # calculates all fixed points of given function as a list y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b) xs [[1 <! ([[1 2 0]] <$> 0)]] <$> 0 |