aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/abstract
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/library/lux/abstract
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to 'stdlib/source/library/lux/abstract')
-rw-r--r--stdlib/source/library/lux/abstract/algebra.lux4
-rw-r--r--stdlib/source/library/lux/abstract/apply.lux6
-rw-r--r--stdlib/source/library/lux/abstract/codec.lux6
-rw-r--r--stdlib/source/library/lux/abstract/comonad.lux4
-rw-r--r--stdlib/source/library/lux/abstract/comonad/cofree.lux6
-rw-r--r--stdlib/source/library/lux/abstract/enum.lux4
-rw-r--r--stdlib/source/library/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/library/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/library/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/library/lux/abstract/hash.lux4
-rw-r--r--stdlib/source/library/lux/abstract/interval.lux6
-rw-r--r--stdlib/source/library/lux/abstract/mix.lux4
-rw-r--r--stdlib/source/library/lux/abstract/monad.lux4
-rw-r--r--stdlib/source/library/lux/abstract/monad/free.lux8
-rw-r--r--stdlib/source/library/lux/abstract/monad/indexed.lux6
-rw-r--r--stdlib/source/library/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/library/lux/abstract/order.lux4
-rw-r--r--stdlib/source/library/lux/abstract/predicate.lux4
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]]])