diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/coll/row.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/data/coll/row.lux b/stdlib/source/lux/data/coll/row.lux index 2c50120ec..1d4dc648c 100644 --- a/stdlib/source/lux/data/coll/row.lux +++ b/stdlib/source/lux/data/coll/row.lux @@ -343,7 +343,7 @@ (wrap (list (` (from-list (list (~+ elems))))))) ## [Structures] -(struct: #export (Equivalence<Node> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Node a)))) +(structure: #export (Equivalence<Node> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Node a)))) (def: (= v1 v2) (case [v1 v2] [(#Base b1) (#Base b2)] @@ -355,7 +355,7 @@ _ false))) -(struct: #export (Equivalence<Row> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Row a)))) +(structure: #export (Equivalence<Row> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Row a)))) (def: (= v1 v2) (and (n/= (get@ #size v1) (get@ #size v2)) (let [(^open "Node/") (Equivalence<Node> Equivalence<a>)] @@ -364,7 +364,7 @@ (Node/= (#Hierarchy (get@ #root v1)) (#Hierarchy (get@ #root v2)))))))) -(struct: _ (Fold Node) +(structure: _ (Fold Node) (def: (fold f init xs) (case xs (#Base base) @@ -376,7 +376,7 @@ hierarchy)) )) -(struct: #export _ (Fold Row) +(structure: #export _ (Fold Row) (def: (fold f init xs) (let [(^open) Fold<Node>] (fold f @@ -386,12 +386,12 @@ (#Base (get@ #tail xs)))) )) -(struct: #export Monoid<Row> (All [a] (Monoid (Row a))) +(structure: #export Monoid<Row> (All [a] (Monoid (Row a))) (def: identity empty) (def: (compose xs ys) (list/fold add xs (to-list ys)))) -(struct: _ (Functor Node) +(structure: _ (Functor Node) (def: (map f xs) (case xs (#Base base) @@ -401,7 +401,7 @@ (#Hierarchy (array/map (map f) hierarchy))) )) -(struct: #export _ (Functor Row) +(structure: #export _ (Functor Row) (def: (map f xs) {#level (get@ #level xs) #size (get@ #size xs) @@ -409,7 +409,7 @@ #tail (|> xs (get@ #tail) (array/map f)) })) -(struct: #export _ (Apply Row) +(structure: #export _ (Apply Row) (def: functor Functor<Row>) (def: (apply ff fa) @@ -420,7 +420,7 @@ ff)] (fold compose identity results)))) -(struct: #export _ (Monad Row) +(structure: #export _ (Monad Row) (def: functor Functor<Row>) (def: wrap (|>> row)) |