diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/concatenative.lux | 4 | ||||
-rw-r--r-- | stdlib/source/lux/control/parser.lux | 4 | ||||
-rw-r--r-- | stdlib/source/lux/control/pipe.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/region.lux | 6 | ||||
-rw-r--r-- | stdlib/source/lux/control/state.lux | 8 | ||||
-rw-r--r-- | stdlib/source/lux/control/thread.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/writer.lux | 2 |
7 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux/control/concatenative.lux b/stdlib/source/lux/control/concatenative.lux index ee342ec22..1af41bbdb 100644 --- a/stdlib/source/lux/control/concatenative.lux +++ b/stdlib/source/lux/control/concatenative.lux @@ -86,10 +86,10 @@ (-> (~ (de-alias inputC)) (~ (de-alias outputC)))))))))))) -(def: begin! Unit []) +(def: begin! Top []) (def: end! - (All [a] (-> [Unit a] a)) + (All [a] (-> [Top a] a)) (function (_ [_ top]) top)) diff --git a/stdlib/source/lux/control/parser.lux b/stdlib/source/lux/control/parser.lux index d46b166e4..3c1022fc8 100644 --- a/stdlib/source/lux/control/parser.lux +++ b/stdlib/source/lux/control/parser.lux @@ -59,7 +59,7 @@ ## [Parsers] (def: #export (assert message test) {#.doc "Fails with the given message if the test is false."} - (All [s] (-> Text Bool (Parser s Unit))) + (All [s] (-> Text Bool (Parser s Top))) (function (_ input) (if test (#e.Success [input []]) @@ -192,7 +192,7 @@ ))) (def: #export (not p) - (All [s a] (-> (Parser s a) (Parser s Unit))) + (All [s a] (-> (Parser s a) (Parser s Top))) (function (_ input) (case (p input) (#e.Error msg) diff --git a/stdlib/source/lux/control/pipe.lux b/stdlib/source/lux/control/pipe.lux index 7e55fc447..4e84e7832 100644 --- a/stdlib/source/lux/control/pipe.lux +++ b/stdlib/source/lux/control/pipe.lux @@ -35,7 +35,7 @@ (~ body)))))) (def: _reverse_ - (Syntax Unit) + (Syntax Top) (function (_ tokens) (#e.Success [(list.reverse tokens) []]))) diff --git a/stdlib/source/lux/control/region.lux b/stdlib/source/lux/control/region.lux index f21076ad0..e26a23ab9 100644 --- a/stdlib/source/lux/control/region.lux +++ b/stdlib/source/lux/control/region.lux @@ -9,7 +9,7 @@ (coll [list "list/" Fold<List>])))) (type: (Cleaner r m) - (-> r (m (Error Unit)))) + (-> r (m (Error Top)))) (type: #export (Region r m a) (-> [r (List (Cleaner r m))] @@ -36,7 +36,7 @@ error|output)))) (def: (combine-outcomes clean-up output) - (All [a] (-> (Error Unit) (Error a) (Error a))) + (All [a] (-> (Error Top) (Error a) (Error a))) (case clean-up (#e.Success _) output @@ -55,7 +55,7 @@ (wrap (list/fold combine-outcomes output results)))) (def: #export (acquire Monad<m> cleaner value) - (All [m a] (-> (Monad m) (-> a (m (Error Unit))) a + (All [m a] (-> (Monad m) (-> a (m (Error Top))) a (All [r] (Region r m a)))) (function (_ [region cleaners]) (:: Monad<m> wrap [(#.Cons (function (_ region) (cleaner value)) diff --git a/stdlib/source/lux/control/state.lux b/stdlib/source/lux/control/state.lux index 422cf4fc6..ab69ed9fe 100644 --- a/stdlib/source/lux/control/state.lux +++ b/stdlib/source/lux/control/state.lux @@ -52,13 +52,13 @@ (def: #export (put new-state) {#.doc "Set the new state."} - (All [s] (-> s (State s Unit))) + (All [s] (-> s (State s Top))) (function (_ state) [new-state []])) (def: #export (update change) {#.doc "Compute the new state."} - (All [s] (-> (-> s s) (State s Unit))) + (All [s] (-> (-> s s) (State s Top))) (function (_ state) [(change state) []])) @@ -134,7 +134,7 @@ (wrap [state a])))) (def: #export (while condition body) - (All [s] (-> (State s Bool) (State s Unit) (State s Unit))) + (All [s] (-> (State s Bool) (State s Top) (State s Top))) (do Monad<State> [execute? condition] (if execute? @@ -144,7 +144,7 @@ (wrap [])))) (def: #export (do-while condition body) - (All [s] (-> (State s Bool) (State s Unit) (State s Unit))) + (All [s] (-> (State s Bool) (State s Top) (State s Top))) (do Monad<State> [_ body] (while condition body))) diff --git a/stdlib/source/lux/control/thread.lux b/stdlib/source/lux/control/thread.lux index d79cc0d10..e44869043 100644 --- a/stdlib/source/lux/control/thread.lux +++ b/stdlib/source/lux/control/thread.lux @@ -23,7 +23,7 @@ ("lux box read" box))) (def: #export (write value box) - (All [a] (-> a (All [!] (-> (Box ! a) (Thread ! Unit))))) + (All [a] (-> a (All [!] (-> (Box ! a) (Thread ! Top))))) (function (_ !) ("lux box write" value box))) diff --git a/stdlib/source/lux/control/writer.lux b/stdlib/source/lux/control/writer.lux index c65a9b29e..7f23e2750 100644 --- a/stdlib/source/lux/control/writer.lux +++ b/stdlib/source/lux/control/writer.lux @@ -44,7 +44,7 @@ (def: #export (log l) {#.doc "Set the log to a particular value."} - (All [l] (-> l (Writer l Unit))) + (All [l] (-> l (Writer l Top))) [l []]) (struct: #export (WriterT Monoid<l> Monad<M>) |