diff options
Diffstat (limited to 'stdlib/source/lux/data/sum.lux')
-rw-r--r-- | stdlib/source/lux/data/sum.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/data/sum.lux b/stdlib/source/lux/data/sum.lux index 2c71f67d4..c2373c238 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -1,4 +1,4 @@ -(;module: {#;doc "Functionality for working with variants (particularly 2-variants)."} +(.module: {#.doc "Functionality for working with variants (particularly 2-variants)."} lux) ## [Values] @@ -22,9 +22,9 @@ [(def: #export (<name> es) (All [a b] (-> (List (| a b)) (List <side>))) (case es - #;Nil #;Nil - (#;Cons (<tag> x) es') (#;Cons [x (<name> es')]) - (#;Cons _ es') (<name> es')))] + #.Nil #.Nil + (#.Cons (<tag> x) es') (#.Cons [x (<name> es')]) + (#.Cons _ es') (<name> es')))] [lefts a +0] [rights b +1] @@ -33,11 +33,11 @@ (def: #export (partition xs) (All [a b] (-> (List (| a b)) [(List a) (List b)])) (case xs - #;Nil - [#;Nil #;Nil] + #.Nil + [#.Nil #.Nil] - (#;Cons x xs') + (#.Cons x xs') (let [[lefts rights] (partition xs')] (case x - (+0 x') [(#;Cons x' lefts) rights] - (+1 x') [lefts (#;Cons x' rights)])))) + (+0 x') [(#.Cons x' lefts) rights] + (+1 x') [lefts (#.Cons x' rights)])))) |