diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/library/lux/data/collection/tree/zipper.lux | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/tree/zipper.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux index b2ef4f056..2ddc54d22 100644 --- a/stdlib/source/library/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux @@ -17,14 +17,14 @@ ["[0]" list (.use "[1]#[0]" functor monoid)]]]]] ["[0]" // (.only Tree) (.use "[1]#[0]" functor)]) -(type: (Family Zipper a) +(type (Family Zipper a) (Record [#parent (Zipper a) #lefts (List (Tree a)) #rights (List (Tree a))])) ... https://en.wikipedia.org/wiki/Zipper_(data_structure) -(type: .public (Zipper a) +(type .public (Zipper a) (Record [#family (Maybe (Family Zipper a)) #node (Tree a)])) |