diff options
Diffstat (limited to 'std/List.bruijn')
| -rw-r--r-- | std/List.bruijn | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 799e966..d8d7dc9 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -89,11 +89,11 @@ index-unary [[P.fst (0 P.snd 1)]] ⧗ (List a) → Unary → a # returns the element at index in list index z [[[rec]]] ⧗ (List a) → Number → a - rec 0 [[[case-index]]] case-end - case-index =?4 2 (5 --4 1) + rec 1 [[[case-index]]] case-end + case-index =?3 2 (5 1 --3) case-end empty -…!!… \index +…!!… index :test (((+1) : ((+2) : {}(+3))) !! (+0)) ((+1)) :test (((+1) : ((+2) : {}(+3))) !! (+2)) ((+3)) @@ -519,12 +519,15 @@ iterate z [[[rec]]] ⧗ (a → a) → a → (List a) :test (take (+5) (iterate i (+4))) (take (+5) (repeat (+4))) :test (take (+0) (iterate ++‣ (+0))) (empty) +# TODO: performance +nth-iterate index ∘∘ iterate + # 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 +# calculates all fixed points of given functions as a list y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b) xs [[1 <! ([[1 2 0]] <$> 0)]] <$> 0 |