diff options
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)])) |