diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection')
17 files changed, 96 insertions, 96 deletions
diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux index 92586e228..0574b2fe7 100644 --- a/stdlib/source/library/lux/data/collection/array.lux +++ b/stdlib/source/library/lux/data/collection/array.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} ["@" target] [abstract - [monoid (#+ Monoid)] - [functor (#+ Functor)] - [equivalence (#+ Equivalence)] - [mix (#+ Mix)] - [predicate (#+ Predicate)]] + [monoid {"+" [Monoid]}] + [functor {"+" [Functor]}] + [equivalence {"+" [Equivalence]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}]] [control ["." maybe]] [data diff --git a/stdlib/source/library/lux/data/collection/bits.lux b/stdlib/source/library/lux/data/collection/bits.lux index 34e45b10f..b218e57bf 100644 --- a/stdlib/source/library/lux/data/collection/bits.lux +++ b/stdlib/source/library/lux/data/collection/bits.lux @@ -1,14 +1,14 @@ (.module: [library - [lux (#- not and or) + [lux {"-" [not and or]} [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [control pipe ["." maybe]] [data [collection - ["." array (#+ Array) ("#\." mix)]]] + ["." array {"+" [Array]} ("#\." mix)]]] [math [number ["n" nat] diff --git a/stdlib/source/library/lux/data/collection/dictionary.lux b/stdlib/source/library/lux/data/collection/dictionary.lux index becef793e..1418b56d6 100644 --- a/stdlib/source/library/lux/data/collection/dictionary.lux +++ b/stdlib/source/library/lux/data/collection/dictionary.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* + [lux "*" [abstract - [hash (#+ Hash)] - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [hash {"+" [Hash]}] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] [collection ["." list ("#\." mix functor monoid)] - ["." array (#+ Array) ("#\." functor mix)]]] + ["." array {"+" [Array]} ("#\." functor mix)]]] [math ["." number ["n" nat] diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux index 81096ddef..a18f5b7ce 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [abstract equivalence - [monad (#+ Monad do)] - ["." order (#+ Order)]] + [monad {"+" [Monad do]}] + ["." order {"+" [Order]}]] [control ["." maybe]] [data diff --git a/stdlib/source/library/lux/data/collection/dictionary/plist.lux b/stdlib/source/library/lux/data/collection/dictionary/plist.lux index b5f04aa4a..d26859f71 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/plist.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [data ["." product] ["." text ("#\." equivalence)] diff --git a/stdlib/source/library/lux/data/collection/list.lux b/stdlib/source/library/lux/data/collection/list.lux index 5649dacec..ce9b246bd 100644 --- a/stdlib/source/library/lux/data/collection/list.lux +++ b/stdlib/source/library/lux/data/collection/list.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" ["@" target] [abstract - [monoid (#+ Monoid)] - [apply (#+ Apply)] - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [mix (#+ Mix)] - [predicate (#+ Predicate)] - ["." functor (#+ Functor)] - ["." monad (#+ do Monad)] + [monoid {"+" [Monoid]}] + [apply {"+" [Apply]}] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}] + ["." functor {"+" [Functor]}] + ["." monad {"+" [Monad do]}] ["." enum]] [data ["." bit] diff --git a/stdlib/source/library/lux/data/collection/queue.lux b/stdlib/source/library/lux/data/collection/queue.lux index deb07edb2..12bb5b68e 100644 --- a/stdlib/source/library/lux/data/collection/queue.lux +++ b/stdlib/source/library/lux/data/collection/queue.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [data [collection ["." list ("#\." monoid functor)]]] diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux index d3fb97cbb..7d609c439 100644 --- a/stdlib/source/library/lux/data/collection/queue/priority.lux +++ b/stdlib/source/library/lux/data/collection/queue/priority.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control ["." maybe]] [data [collection - ["." tree #_ - ["#" finger (#+ Tree)]]]] + ["." tree "_" + ["#" finger {"+" [Tree]}]]]] [math [number ["n" nat ("#\." interval)]]] - [type (#+ :by_example) - [abstract (#+ abstract: :abstraction :representation)]]]]) + [type {"+" [:by_example]} + [abstract {"+" [abstract: :abstraction :representation]}]]]]) (type: .public Priority Nat) diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/row.lux index 6c04e7dd4..1b2b0764d 100644 --- a/stdlib/source/library/lux/data/collection/row.lux +++ b/stdlib/source/library/lux/data/collection/row.lux @@ -3,29 +3,29 @@ ... https://hypirion.com/musings/understanding-persistent-vector-pt-3 (.module: [library - [lux (#- list) + [lux {"-" [list]} ["@" target] [abstract - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad do)] - [equivalence (#+ Equivalence)] - [monoid (#+ Monoid)] - [mix (#+ Mix)] - [predicate (#+ Predicate)]] + [functor {"+" [Functor]}] + [apply {"+" [Apply]}] + [monad {"+" [Monad do]}] + [equivalence {"+" [Equivalence]}] + [monoid {"+" [Monoid]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data ["." product] [collection ["." list ("#\." mix functor monoid)] - ["." array (#+ Array) ("#\." functor mix)]]] + ["." array {"+" [Array]} ("#\." functor mix)]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math [number diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 72821bf95..35b9a1102 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)]] + [functor {"+" [Functor]}] + [comonad {"+" [CoMonad]}]] [control - ["//" continuation (#+ Cont)] + ["//" continuation {"+" [Cont]}] ["<>" parser - ["<.>" code (#+ Parser)]]] - [macro (#+ with_identifiers) - [syntax (#+ syntax:)] + ["<.>" code {"+" [Parser]}]]] + [macro {"+" [with_identifiers]} + [syntax {"+" [syntax:]}] ["." code]] [data ["." bit] diff --git a/stdlib/source/library/lux/data/collection/set.lux b/stdlib/source/library/lux/data/collection/set.lux index 62e155534..32fabd6b7 100644 --- a/stdlib/source/library/lux/data/collection/set.lux +++ b/stdlib/source/library/lux/data/collection/set.lux @@ -1,19 +1,19 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [predicate (#+ Predicate)] - [monoid (#+ Monoid)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [predicate {"+" [Predicate]}] + [monoid {"+" [Monoid]}]] [data [collection ["." list ("#\." mix)]]] [math [number ["n" nat]]]]] - ["." // #_ - ["#" dictionary (#+ Dictionary)]]) + ["." // "_" + ["#" dictionary {"+" [Dictionary]}]]) (type: .public (Set a) (Dictionary a Any)) diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index 62aa7a52f..abc0836c5 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ ... https://en.wikipedia.org/wiki/Multiset (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}]] [control ["." function] ["." maybe]] @@ -12,11 +12,11 @@ [number ["n" nat]]] [type - [abstract (#+ abstract: :abstraction :representation ^:representation)]]]] + [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]] ["." // [// ["." list ("#\." mix monoid)] - ["." dictionary (#+ Dictionary)]]]) + ["." dictionary {"+" [Dictionary]}]]]) (abstract: .public (Set a) {} diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux index ac8c54ac0..dc8a825e6 100644 --- a/stdlib/source/library/lux/data/collection/set/ordered.lux +++ b/stdlib/source/library/lux/data/collection/set/ordered.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [order (#+ Order)]] + [equivalence {"+" [Equivalence]}] + [order {"+" [Order]}]] [data [collection ["." list ("#\." mix)] diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux index 8bb20bff3..f8ed6aab6 100644 --- a/stdlib/source/library/lux/data/collection/stack.lux +++ b/stdlib/source/library/lux/data/collection/stack.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [data [collection ["//" list]]] diff --git a/stdlib/source/library/lux/data/collection/tree.lux b/stdlib/source/library/lux/data/collection/tree.lux index 26c385f7e..2216a7b11 100644 --- a/stdlib/source/library/lux/data/collection/tree.lux +++ b/stdlib/source/library/lux/data/collection/tree.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] - [equivalence (#+ Equivalence)] - [mix (#+ Mix)] - [monad (#+ do)]] + [functor {"+" [Functor]}] + [equivalence {"+" [Equivalence]}] + [mix {"+" [Mix]}] + [monad {"+" [do]}]] [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data [collection ["." list ("#\." monad mix)]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]]]]) (type: .public (Tree a) diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux index c675916aa..40a70ac2d 100644 --- a/stdlib/source/library/lux/data/collection/tree/finger.lux +++ b/stdlib/source/library/lux/data/collection/tree/finger.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [abstract - [predicate (#+ Predicate)] - ["." monoid (#+ Monoid)]] + [predicate {"+" [Predicate]}] + ["." monoid {"+" [Monoid]}]] [data [collection ["." list ("#\." monoid)]]] [type - [abstract (#+ abstract: :abstraction :representation)]]]]) + [abstract {"+" [abstract: :abstraction :representation]}]]]]) ... https://en.wikipedia.org/wiki/Finger_tree (abstract: .public (Tree @ t v) diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux index 15265bf94..613e3aeed 100644 --- a/stdlib/source/library/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux @@ -1,21 +1,21 @@ (.module: [library - [lux #* + [lux "*" ["@" target] [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)] - [monad (#+ do)] - [equivalence (#+ Equivalence)]] + [functor {"+" [Functor]}] + [comonad {"+" [CoMonad]}] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}]] [control ["." maybe ("#\." monad)]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor monoid)]]]]] - ["." // (#+ Tree) ("#\." functor)]) + ["." // {"+" [Tree]} ("#\." functor)]) (type: (Family Zipper a) (Record |