diff options
| author | Marvin Borner | 2023-12-14 20:14:49 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-12-15 03:04:16 +0100 |
| commit | d22c013e4e74889a82004b05aab1158b98cfafc9 (patch) | |
| tree | 272e33637521ab46fb375be8a72e3b6983755c0b /std/Tree/Rose.bruijn | |
| parent | b572418b4a4f6ba647a9aaed0bd82bfe9189d9a8 (diff) | |
Minor documentation fixes
Diffstat (limited to 'std/Tree/Rose.bruijn')
| -rw-r--r-- | std/Tree/Rose.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Tree/Rose.bruijn b/std/Tree/Rose.bruijn index 90abeec..1b1e319 100644 --- a/std/Tree/Rose.bruijn +++ b/std/Tree/Rose.bruijn @@ -34,7 +34,7 @@ empty? [L.empty? ~0] ⧗ (RoseTree a) → Boolean ∅?‣ empty? -:test (∅?({ 'a' : (({:}'b') : L.empty) })) (false) +:test (∅?({ 'a' : ({:}'b' : L.empty) })) (false) :test (∅?({:}'a')) (true) # applies a function to leaf and the leafs of all branches @@ -43,7 +43,7 @@ map z [[[rec]]] ⧗ (a → b) → (RoseTree a) → (RoseTree b) …<$>… map -:test (map ^‣ ({ "woo" : ({:}"oof" : (({ "aah" : (({:}"huh" : L.empty)) }) : L.empty)) })) ({ 'w' : ({:}'o' : (({ 'a' : ({:}'h' : L.empty) }) : L.empty)) }) +:test (map ^‣ ({ "woo" : ({:}"oof" : (({ "aah" : ({:}"huh" : L.empty) }) : L.empty)) })) ({ 'w' : ({:}'o' : (({ 'a' : ({:}'h' : L.empty) }) : L.empty)) }) # maps a function returning list of trees and concatenates concat-map L.concat ∘∘ map ⧗ ((RoseTree a) → (List (RoseTree b))) → (List (RoseTree a)) → (List (RoseTree b)) |