diff options
Diffstat (limited to 'stdlib/source/lux/data/collection/queue.lux')
-rw-r--r-- | stdlib/source/lux/data/collection/queue.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/data/collection/queue.lux b/stdlib/source/lux/data/collection/queue.lux index 4973b925e..ce66391c8 100644 --- a/stdlib/source/lux/data/collection/queue.lux +++ b/stdlib/source/lux/data/collection/queue.lux @@ -2,10 +2,10 @@ [lux #* [control [equivalence (#+ Equivalence)] - ["F" functor]] + [functor (#+ Functor)]] [data [collection - ["." list ("list/." Monoid<List> Functor<List>)]]]]) + ["." list ("list/." monoid functor)]]]]) (type: #export (Queue a) {#front (List a) @@ -70,12 +70,12 @@ _ (update@ #rear (|>> (#.Cons val)) queue))) -(structure: #export (Equivalence<Queue> Equivalence<a>) +(structure: #export (equivalence Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Queue a)))) (def: (= qx qy) - (:: (list.Equivalence<List> Equivalence<a>) = (to-list qx) (to-list qy)))) + (:: (list.equivalence Equivalence<a>) = (to-list qx) (to-list qy)))) -(structure: #export _ (F.Functor Queue) +(structure: #export functor (Functor Queue) (def: (map f fa) {#front (|> fa (get@ #front) (list/map f)) #rear (|> fa (get@ #rear) (list/map f))})) |