diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/tree/zipper.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/tree/zipper.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux index ef9e8b662..8bf58d308 100644 --- a/stdlib/source/library/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux @@ -3,19 +3,19 @@ [lux "*" ["@" target] [abstract - [functor {"+" [Functor]}] - [comonad {"+" [CoMonad]}] - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}]] + [functor {"+" Functor}] + [comonad {"+" CoMonad}] + [monad {"+" do}] + [equivalence {"+" Equivalence}]] [control ["[0]" maybe ("[1]#[0]" monad)]] [data ["[0]" product] [text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor monoid)]]]]] - ["[0]" // {"+" [Tree]} ("[1]#[0]" functor)]) + ["[0]" // {"+" Tree} ("[1]#[0]" functor)]) (type: (Family Zipper a) (Record |