diff options
| author | Eduardo Julian | 2018-05-02 00:20:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-02 00:20:42 -0400 |
| commit | 0144da58ba856bd6f6072b588bbd076c9c3fdb36 (patch) | |
| tree | 19aa593327891ced4d28ef1fd0a3394c70ffa38d /stdlib/source/lux/lang | |
| parent | e4e67f0427d93b3686366ffe9f14a4751690101e (diff) | |
- Re-named "Applicative" to "Apply".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/lang/type/check.lux b/stdlib/source/lux/lang/type/check.lux index cea574d0c..8a32b2c4c 100644 --- a/stdlib/source/lux/lang/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -1,7 +1,7 @@ (.module: {#.doc "Type-checking functionality."} lux (lux (control [functor #+ Functor] - [applicative #+ Applicative] + [apply #+ Apply] [monad #+ do Monad] ["ex" exception #+ exception:]) (data [text "text/" Monoid<Text> Eq<Text>] @@ -57,7 +57,7 @@ (#e.Success [context' (f output)]) )))) -(struct: #export _ (Applicative Check) +(struct: #export _ (Apply Check) (def: functor Functor<Check>) (def: (apply ff fa) |