aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/apply.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/specification/lux/abstract/apply.lux
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 9b52df567..00629ed8a 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" function]]
[math
@@ -11,9 +11,9 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Apply]}]]
+ ["[0]" / {"+" Apply}]]
[//
- [functor {"+" [Injection Comparison]}]])
+ [functor {"+" Injection Comparison}]])
(def: (identity injection comparison (^open "#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))