aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/analysis')
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux49
1 files changed, 25 insertions, 24 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index c529d124c..c51f0cced 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -1,24 +1,24 @@
(.using
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- [pipe {"+" case>}]
- ["[0]" io]
- ["[0]" try]]
- [math
- ["r" random {"+" Random}]]
- [macro
- ["[0]" code]]
- [tool
- [compiler
- [analysis {"+" State+}]
- ["[0]" phase
- [macro {"+" Expander}]
- ["[0]" analysis
- ["[1]/[0]" scope]
- ["[1]/[0]" type]]]]]])
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" pipe]
+ ["[0]" io]
+ ["[0]" try]]
+ [math
+ ["r" random {"+" Random}]]
+ [macro
+ ["[0]" code]]
+ [tool
+ [compiler
+ [analysis {"+" State+}]
+ ["[0]" phase
+ [macro {"+" Expander}]
+ ["[0]" analysis
+ ["[1]/[0]" scope]
+ ["[1]/[0]" type]]]]]])
(def: (check_success+ expander state extension params output_type)
(-> Expander State+ Text (List Code) Type Bit)
@@ -26,11 +26,12 @@
(analysis/type.with_type output_type
(analysis.phase expander (` ((~ (code.text extension)) (~+ params))))))
(phase.result state)
- (case> {try.#Success _}
- true
+ (pipe.case
+ {try.#Success _}
+ true
- {try.#Failure _}
- false)))
+ {try.#Failure _}
+ false)))
(def: check
(Random [Code Type Code])