diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/tool/compiler/phase.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index 22362318a..b80e262c4 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -28,41 +28,41 @@ (state.+State Try s o)) (def: .public monad - (All [s] (Monad (Operation s))) + (All (_ s) (Monad (Operation s))) (state.with try.monad)) (type: .public (Phase s i o) (-> Archive i (Operation s o))) (type: .public Wrapper - (All [s i o] (-> (Phase s i o) Any))) + (All (_ s i o) (-> (Phase s i o) Any))) (def: .public (result' state operation) - (All [s o] + (All (_ s o) (-> s (Operation s o) (Try [s o]))) (operation state)) (def: .public (result state operation) - (All [s o] + (All (_ s o) (-> s (Operation s o) (Try o))) (|> state operation (\ try.monad each product.right))) (def: .public get_state - (All [s o] + (All (_ s o) (Operation s s)) (function (_ state) (#try.Success [state state]))) (def: .public (set_state state) - (All [s o] + (All (_ s o) (-> s (Operation s Any))) (function (_ _) (#try.Success [state []]))) (def: .public (sub [get set] operation) - (All [s s' o] + (All (_ s s' o) (-> [(-> s s') (-> s' s s)] (Operation s' o) (Operation s o))) @@ -76,11 +76,11 @@ (|>> #try.Failure (state.lifted try.monad))) (def: .public (except exception parameters) - (All [e] (-> (Exception e) e Operation)) + (All (_ e) (-> (Exception e) e Operation)) (..failure (ex.error exception parameters))) (def: .public (lifted error) - (All [s a] (-> (Try a) (Operation s a))) + (All (_ s a) (-> (Try a) (Operation s a))) (function (_ state) (try\each (|>> [state]) error))) @@ -92,12 +92,12 @@ (..except (~ exception) (~ message))))))) (def: .public identity - (All [s a] (Phase s a a)) + (All (_ s a) (Phase s a a)) (function (_ archive input state) (#try.Success [state input]))) (def: .public (composite pre post) - (All [s0 s1 i t o] + (All (_ s0 s1 i t o) (-> (Phase s0 i t) (Phase s1 t o) (Phase [s0 s1] i o))) @@ -108,7 +108,7 @@ (in [[pre/state' post/state'] output])))) (def: .public (timed definition description operation) - (All [s a] + (All (_ s a) (-> Name Text (Operation s a) (Operation s a))) (do ..monad [_ (in []) |