diff options
author | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
commit | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch) | |
tree | 24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/library/lux/abstract | |
parent | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff) |
De-taggification | part 2
Diffstat (limited to 'stdlib/source/library/lux/abstract')
18 files changed, 39 insertions, 39 deletions
diff --git a/stdlib/source/library/lux/abstract/algebra.lux b/stdlib/source/library/lux/abstract/algebra.lux index 9a4ea848d..63ce1f2f8 100644 --- a/stdlib/source/library/lux/abstract/algebra.lux +++ b/stdlib/source/library/lux/abstract/algebra.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [control - [functor (#+ Fix)]]]]) + [functor {"+" [Fix]}]]]]) (type: .public (Algebra f a) (-> (f a) a)) diff --git a/stdlib/source/library/lux/abstract/apply.lux b/stdlib/source/library/lux/abstract/apply.lux index c6f6a18a6..f50403a4b 100644 --- a/stdlib/source/library/lux/abstract/apply.lux +++ b/stdlib/source/library/lux/abstract/apply.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" ["@" target]]] [// - [monad (#+ Monad)] - ["." functor (#+ Functor)]]) + [monad {"+" [Monad]}] + ["." functor {"+" [Functor]}]]) (type: .public (Apply f) (Interface diff --git a/stdlib/source/library/lux/abstract/codec.lux b/stdlib/source/library/lux/abstract/codec.lux index e5cb66d50..7308a0cd7 100644 --- a/stdlib/source/library/lux/abstract/codec.lux +++ b/stdlib/source/library/lux/abstract/codec.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [control - ["." try (#+ Try)]]]] + ["." try {"+" [Try]}]]]] [// - [monad (#+ do)] + [monad {"+" [do]}] ["." functor]]) (type: .public (Codec m a) diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux index 06d8640e4..98d8649e8 100644 --- a/stdlib/source/library/lux/abstract/comonad.lux +++ b/stdlib/source/library/lux/abstract/comonad.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." list ("#\." mix)]]] @@ -10,7 +10,7 @@ [meta ["." location]]]] [// - [functor (#+ Functor)]]) + [functor {"+" [Functor]}]]) (type: .public (CoMonad w) (Interface diff --git a/stdlib/source/library/lux/abstract/comonad/cofree.lux b/stdlib/source/library/lux/abstract/comonad/cofree.lux index f9bfc2dd1..a711f60f1 100644 --- a/stdlib/source/library/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/library/lux/abstract/comonad/cofree.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #*]] - [// (#+ CoMonad) + [lux "*"]] + [// {"+" [CoMonad]} [// - [functor (#+ Functor)]]]) + [functor {"+" [Functor]}]]]) (type: .public (CoFree F a) [a (F (CoFree F a))]) diff --git a/stdlib/source/library/lux/abstract/enum.lux b/stdlib/source/library/lux/abstract/enum.lux index 509669587..fdd7e30e1 100644 --- a/stdlib/source/library/lux/abstract/enum.lux +++ b/stdlib/source/library/lux/abstract/enum.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] + [lux "*"]] [// - ["." order (#+ Order)]]) + ["." order {"+" [Order]}]]) (type: .public (Enum e) (Interface diff --git a/stdlib/source/library/lux/abstract/equivalence.lux b/stdlib/source/library/lux/abstract/equivalence.lux index d51ef9d9a..6e6b2e834 100644 --- a/stdlib/source/library/lux/abstract/equivalence.lux +++ b/stdlib/source/library/lux/abstract/equivalence.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #*]] + [lux "*"]] [// [functor ["." contravariant]]]) diff --git a/stdlib/source/library/lux/abstract/functor.lux b/stdlib/source/library/lux/abstract/functor.lux index a43110453..50ad52f37 100644 --- a/stdlib/source/library/lux/abstract/functor.lux +++ b/stdlib/source/library/lux/abstract/functor.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- Or And)]]) + [lux {"-" [Or And]}]]) (type: .public (Functor f) (Interface diff --git a/stdlib/source/library/lux/abstract/functor/contravariant.lux b/stdlib/source/library/lux/abstract/functor/contravariant.lux index 15b8053e6..2e4b563aa 100644 --- a/stdlib/source/library/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/library/lux/abstract/functor/contravariant.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #*]]) + [lux "*"]]) (type: .public (Functor f) (Interface diff --git a/stdlib/source/library/lux/abstract/hash.lux b/stdlib/source/library/lux/abstract/hash.lux index 9b8a599ec..4ad150417 100644 --- a/stdlib/source/library/lux/abstract/hash.lux +++ b/stdlib/source/library/lux/abstract/hash.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] + [lux "*"]] [// - ["." equivalence (#+ Equivalence)] + ["." equivalence {"+" [Equivalence]}] [functor ["." contravariant]]]) diff --git a/stdlib/source/library/lux/abstract/interval.lux b/stdlib/source/library/lux/abstract/interval.lux index d2af3e21c..66b57a5e6 100644 --- a/stdlib/source/library/lux/abstract/interval.lux +++ b/stdlib/source/library/lux/abstract/interval.lux @@ -1,11 +1,11 @@ ... https://en.wikipedia.org/wiki/Interval_(mathematics) (.module: [library - [lux #*]] + [lux "*"]] [// - [equivalence (#+ Equivalence)] + [equivalence {"+" [Equivalence]}] ["." order] - [enum (#+ Enum)]]) + [enum {"+" [Enum]}]]) (type: .public (Interval a) (Interface diff --git a/stdlib/source/library/lux/abstract/mix.lux b/stdlib/source/library/lux/abstract/mix.lux index 432fa6472..0999616bc 100644 --- a/stdlib/source/library/lux/abstract/mix.lux +++ b/stdlib/source/library/lux/abstract/mix.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] + [lux "*"]] [// - [monoid (#+ Monoid)]]) + [monoid {"+" [Monoid]}]]) (type: .public (Mix F) (Interface diff --git a/stdlib/source/library/lux/abstract/monad.lux b/stdlib/source/library/lux/abstract/monad.lux index b4d2eb7ed..d7a9aaf1b 100644 --- a/stdlib/source/library/lux/abstract/monad.lux +++ b/stdlib/source/library/lux/abstract/monad.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [meta ["." location]]]] [// - [functor (#+ Functor)]]) + [functor {"+" [Functor]}]]) (def: (list\mix f init xs) (All (_ a b) diff --git a/stdlib/source/library/lux/abstract/monad/free.lux b/stdlib/source/library/lux/abstract/monad/free.lux index 3dde675a6..2f4d88fcc 100644 --- a/stdlib/source/library/lux/abstract/monad/free.lux +++ b/stdlib/source/library/lux/abstract/monad/free.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #*]] + [lux "*"]] [/// - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad)]]) + [functor {"+" [Functor]}] + [apply {"+" [Apply]}] + [monad {"+" [Monad]}]]) (type: .public (Free F a) (Variant diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux index f74790dca..704213215 100644 --- a/stdlib/source/library/lux/abstract/monad/indexed.lux +++ b/stdlib/source/library/lux/abstract/monad/indexed.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data [collection ["." list ("#\." functor mix)]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]]]] ["." //]) diff --git a/stdlib/source/library/lux/abstract/monoid.lux b/stdlib/source/library/lux/abstract/monoid.lux index b8a31a356..36b2fe502 100644 --- a/stdlib/source/library/lux/abstract/monoid.lux +++ b/stdlib/source/library/lux/abstract/monoid.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- and)]]) + [lux {"-" [and]}]]) (type: .public (Monoid a) (Interface diff --git a/stdlib/source/library/lux/abstract/order.lux b/stdlib/source/library/lux/abstract/order.lux index 6da64656d..067e21e91 100644 --- a/stdlib/source/library/lux/abstract/order.lux +++ b/stdlib/source/library/lux/abstract/order.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [control ["." function]]]] [// - ["." equivalence (#+ Equivalence)] + ["." equivalence {"+" [Equivalence]}] [functor ["." contravariant]]]) diff --git a/stdlib/source/library/lux/abstract/predicate.lux b/stdlib/source/library/lux/abstract/predicate.lux index 16c927ac4..ca38d26d3 100644 --- a/stdlib/source/library/lux/abstract/predicate.lux +++ b/stdlib/source/library/lux/abstract/predicate.lux @@ -1,10 +1,10 @@ (.module: [library - [lux (#- or and) + [lux {"-" [or and]} [control ["." function]]]] [// - [monoid (#+ Monoid)] + [monoid {"+" [Monoid]}] [functor ["." contravariant]]]) |