diff options
| author | Eduardo Julian | 2018-05-02 00:09:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-02 00:09:35 -0400 |
| commit | e4e67f0427d93b3686366ffe9f14a4751690101e (patch) | |
| tree | 22857a6ea96f97925bacc5ea2ddf71ab55207569 /stdlib/source/lux/lang | |
| parent | 9906f649d26adfed5126065082fb4a7d5e4696bb (diff) | |
- Moved the "wrap" function into Monad, and removed Applicative from Monad's family tree.
- Moved the Free monad to its own module.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/type/check.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/lang/type/check.lux b/stdlib/source/lux/lang/type/check.lux index 09af682ca..cea574d0c 100644 --- a/stdlib/source/lux/lang/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -60,10 +60,6 @@ (struct: #export _ (Applicative Check) (def: functor Functor<Check>) - (def: (wrap x) - (function (_ context) - (#e.Success [context x]))) - (def: (apply ff fa) (function (_ context) (case (ff context) @@ -81,7 +77,11 @@ ) (struct: #export _ (Monad Check) - (def: applicative Applicative<Check>) + (def: functor Functor<Check>) + + (def: (wrap x) + (function (_ context) + (#e.Success [context x]))) (def: (join ffa) (function (_ context) |