diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/common.lux')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/common.lux | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux index a4037c9d4..f10f2a2ef 100644 --- a/stdlib/source/spec/compositor/generation/common.lux +++ b/stdlib/source/spec/compositor/generation/common.lux @@ -4,9 +4,9 @@ [abstract [monad (#+ do)]] [control - [pipe (#+ case>)]] + [pipe (#+ case>)] + ["." try (#+ Try)]] [data - ["." error (#+ Error)] ["." bit ("#@." equivalence)] [number ["." i64]] @@ -39,10 +39,10 @@ (|> (#synthesis.Extension <extension> (list (synthesis.i64 param) (synthesis.i64 subject))) (run (..sanitize <extension>)) - (case> (#error.Success valueT) + (case> (#try.Success valueT) (n/= (<reference> param subject) (:coerce Nat valueT)) - (#error.Failure error) + (#try.Failure _) false) (let [param <param-expr>])))] @@ -59,12 +59,12 @@ (list (synthesis.i64 subject) (synthesis.i64 param))) (run (..sanitize "lux i64 arithmetic-right-shift")) - (case> (#error.Success valueT) + (case> (#try.Success valueT) ("lux i64 =" (i64.arithmetic-right-shift param subject) (:coerce I64 valueT)) - (#error.Failure error) + (#try.Failure _) false) (let [param (n/% 64 param)]))) )))) @@ -79,10 +79,10 @@ [(_.test <extension> (|> (#synthesis.Extension <extension> (list (synthesis.i64 subject))) (run (..sanitize <extension>)) - (case> (#error.Success valueT) + (case> (#try.Success valueT) (<comp> (<prepare> subject) (:coerce <type> valueT)) - (#error.Failure error) + (#try.Failure _) false) (let [subject <subject-expr>])))] @@ -97,10 +97,10 @@ (|> (#synthesis.Extension <extension> (list (synthesis.i64 param) (synthesis.i64 subject))) (run (..sanitize <extension>)) - (case> (#error.Success valueT) + (case> (#try.Success valueT) (<comp> (<reference> param subject) (:coerce <outputT> valueT)) - (#error.Failure error) + (#try.Failure _) false)))] ["lux i64 +" i/+ Int i/=] @@ -141,7 +141,7 @@ (|> (#synthesis.Extension <extension> (list (synthesis.f64 param) (synthesis.f64 subject))) (run (..sanitize <extension>)) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (bit@= (<text> param subject) (:coerce Bit valueV)) @@ -190,14 +190,14 @@ (_.test "Can compare texts for equality." (and (|> (#synthesis.Extension "lux text =" (list sample-lowerS sample-lowerS)) (run (..sanitize "lux text =")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (:coerce Bit valueV) _ false)) (|> (#synthesis.Extension "lux text =" (list sample-upperS sample-lowerS)) (run (..sanitize "lux text =")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (not (:coerce Bit valueV)) _ @@ -205,15 +205,15 @@ (_.test "Can compare texts for order." (|> (#synthesis.Extension "lux text <" (list sample-lowerS sample-upperS)) (run (..sanitize "lux text <")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (:coerce Bit valueV) - (#error.Failure error) + (#try.Failure _) false))) (_.test "Can get length of text." (|> (#synthesis.Extension "lux text size" (list sample-lowerS)) (run (..sanitize "lux text size")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (n/= sample-size (:coerce Nat valueV)) _ @@ -221,7 +221,7 @@ (_.test "Can concatenate text." (|> (#synthesis.Extension "lux text size" (list concatenatedS)) (run (..sanitize "lux text size")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (n/= (n/* 2 sample-size) (:coerce Nat valueV)) _ @@ -231,7 +231,7 @@ (list concatenatedS sample-lowerS (synthesis.i64 +0))) (run (..sanitize "lux text index")) - (case> (^multi (#error.Success valueV) + (case> (^multi (#try.Success valueV) [(:coerce (Maybe Nat) valueV) (#.Some valueV)]) (n/= 0 valueV) @@ -241,7 +241,7 @@ (list concatenatedS sample-upperS (synthesis.i64 +0))) (run (..sanitize "lux text index")) - (case> (^multi (#error.Success valueV) + (case> (^multi (#try.Success valueV) [(:coerce (Maybe Nat) valueV) (#.Some valueV)]) (n/= sample-size valueV) @@ -254,7 +254,7 @@ (synthesis.i64 from) (synthesis.i64 to))) (run (..sanitize "lux text clip")) - (case> (^multi (#error.Success valueV) + (case> (^multi (#try.Success valueV) [(:coerce (Maybe Text) valueV) (#.Some valueV)]) (text@= expected valueV) @@ -268,7 +268,7 @@ (list sample-lowerS (synthesis.i64 char-idx))) (run (..sanitize "lux text char")) - (case> (^multi (#error.Success valueV) + (case> (^multi (#try.Success valueV) [(:coerce (Maybe Int) valueV) (#.Some valueV)]) (text.contains? ("lux i64 char" valueV) sample-lower) @@ -286,10 +286,10 @@ (|> (#synthesis.Extension "lux io log" (list (synthesis.text (format "LOG: " message)))) (run (..sanitize "lux io log")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) true - (#error.Failure error) + (#try.Failure _) false))) (_.test "Can throw runtime errors." (and (|> (#synthesis.Extension "lux try" @@ -299,8 +299,8 @@ #synthesis.body (#synthesis.Extension "lux io error" (list (synthesis.text message)))}))) (run (..sanitize "lux try")) - (case> (^multi (#error.Success valueV) - [(:coerce (Error Text) valueV) (#error.Failure error)]) + (case> (^multi (#try.Success valueV) + [(:coerce (Try Text) valueV) (#try.Failure error)]) (text.contains? message error) _ @@ -311,8 +311,8 @@ #synthesis.arity 1 #synthesis.body (synthesis.text message)}))) (run (..sanitize "lux try")) - (case> (^multi (#error.Success valueV) - [(:coerce (Error Text) valueV) (#error.Success valueV)]) + (case> (^multi (#try.Success valueV) + [(:coerce (Try Text) valueV) (#try.Success valueV)]) (text@= message valueV) _ @@ -321,11 +321,11 @@ (|> (synthesis.tuple (list (#synthesis.Extension "lux io current-time" (list)) (#synthesis.Extension "lux io current-time" (list)))) (run (..sanitize "lux io current-time")) - (case> (#error.Success valueV) + (case> (#try.Success valueV) (let [[pre post] (:coerce [Nat Nat] valueV)] (n/>= pre post)) - (#error.Failure error) + (#try.Failure _) false))) ))) |