aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/common.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation/common.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux160
1 files changed, 80 insertions, 80 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 2db239415..9c03349f4 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -39,13 +39,13 @@
subject r.i64]
(with_expansions [<binary> (template [<extension> <reference> <param_expr>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list (synthesis.i64 param)
- (synthesis.i64 subject)))
+ (|> {#synthesis.Extension <extension> (list (synthesis.i64 param)
+ (synthesis.i64 subject))}
(run (..safe <extension>))
- (case> (#try.Success valueT)
+ (case> {#try.Success valueT}
(n.= (<reference> param subject) (:as Nat valueT))
- (#try.Failure _)
+ {#try.Failure _}
false)
(let [param <param_expr>])))]
@@ -58,16 +58,16 @@
($_ _.and
<binary>
(_.test "lux i64 arithmetic-right-shift"
- (|> (#synthesis.Extension "lux i64 arithmetic-right-shift"
- (list (synthesis.i64 subject)
- (synthesis.i64 param)))
+ (|> {#synthesis.Extension "lux i64 arithmetic-right-shift"
+ (list (synthesis.i64 subject)
+ (synthesis.i64 param))}
(run (..safe "lux i64 arithmetic-right-shift"))
- (case> (#try.Success valueT)
+ (case> {#try.Success valueT}
("lux i64 ="
(i64.arithmetic_right_shifted param subject)
(:as I64 valueT))
- (#try.Failure _)
+ {#try.Failure _}
false)
(let [param (n.% 64 param)])))
))))
@@ -80,12 +80,12 @@
(`` ($_ _.and
(~~ (template [<extension> <type> <prepare> <comp> <subject_expr>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list (synthesis.i64 subject)))
+ (|> {#synthesis.Extension <extension> (list (synthesis.i64 subject))}
(run (..safe <extension>))
- (case> (#try.Success valueT)
+ (case> {#try.Success valueT}
(<comp> (<prepare> subject) (:as <type> valueT))
- (#try.Failure _)
+ {#try.Failure _}
false)
(let [subject <subject_expr>])))]
@@ -97,13 +97,13 @@
))
(~~ (template [<extension> <reference> <outputT> <comp>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list (synthesis.i64 param)
- (synthesis.i64 subject)))
+ (|> {#synthesis.Extension <extension> (list (synthesis.i64 param)
+ (synthesis.i64 subject))}
(run (..safe <extension>))
- (case> (#try.Success valueT)
+ (case> {#try.Success valueT}
(<comp> (<reference> param subject) (:as <outputT> valueT))
- (#try.Failure _)
+ {#try.Failure _}
false)))]
["lux i64 +" i.+ Int i.=]
@@ -128,8 +128,8 @@
(`` ($_ _.and
(~~ (template [<extension> <reference> <comp>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list (synthesis.f64 param)
- (synthesis.f64 subject)))
+ (|> {#synthesis.Extension <extension> (list (synthesis.f64 param)
+ (synthesis.f64 subject))}
(run (..safe <extension>))
(//case.verify (<reference> param subject))))]
@@ -141,10 +141,10 @@
))
(~~ (template [<extension> <text>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list (synthesis.f64 param)
- (synthesis.f64 subject)))
+ (|> {#synthesis.Extension <extension> (list (synthesis.f64 param)
+ (synthesis.f64 subject))}
(run (..safe <extension>))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(bit\= (<text> param subject)
(:as Bit valueV))
@@ -156,7 +156,7 @@
))
(~~ (template [<extension> <reference>]
[(_.test <extension>
- (|> (#synthesis.Extension <extension> (list))
+ (|> {#synthesis.Extension <extension> (list)}
(run (..safe <extension>))
(//case.verify <reference>)))]
@@ -167,8 +167,8 @@
(_.test "'lux f64 i64 && 'lux i64 f64'"
(|> (run (..safe "lux f64 i64")
(|> subject synthesis.f64
- (list) (#synthesis.Extension "lux f64 i64")
- (list) (#synthesis.Extension "lux i64 f64")))
+ (list) {#synthesis.Extension "lux f64 i64"}
+ (list) {#synthesis.Extension "lux i64 f64"}))
(//case.verify subject)))
))))
@@ -184,84 +184,84 @@
.let [sample_lowerS (synthesis.text sample_lower)
sample_upperS (synthesis.text sample_upper)
sample_alphaS (synthesis.text sample_alpha)
- concatenatedS (#synthesis.Extension "lux text concat" (list sample_lowerS sample_upperS))
+ concatenatedS {#synthesis.Extension "lux text concat" (list sample_lowerS sample_upperS)}
pre_rep_once (format sample_lower sample_upper)
post_rep_once (format sample_lower sample_alpha)
pre_rep_all (|> sample_lower (list.repeated sample_size) (text.interposed sample_upper))
post_rep_all (|> sample_lower (list.repeated sample_size) (text.interposed sample_alpha))]]
($_ _.and
(_.test "Can compare texts for equality."
- (and (|> (#synthesis.Extension "lux text =" (list sample_lowerS sample_lowerS))
+ (and (|> {#synthesis.Extension "lux text =" (list sample_lowerS sample_lowerS)}
(run (..safe "lux text ="))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(:as Bit valueV)
_
false))
- (|> (#synthesis.Extension "lux text =" (list sample_upperS sample_lowerS))
+ (|> {#synthesis.Extension "lux text =" (list sample_upperS sample_lowerS)}
(run (..safe "lux text ="))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(not (:as Bit valueV))
_
false))))
(_.test "Can compare texts for order."
- (|> (#synthesis.Extension "lux text <" (list sample_lowerS sample_upperS))
+ (|> {#synthesis.Extension "lux text <" (list sample_lowerS sample_upperS)}
(run (..safe "lux text <"))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(:as Bit valueV)
- (#try.Failure _)
+ {#try.Failure _}
false)))
(_.test "Can get length of text."
- (|> (#synthesis.Extension "lux text size" (list sample_lowerS))
+ (|> {#synthesis.Extension "lux text size" (list sample_lowerS)}
(run (..safe "lux text size"))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(n.= sample_size (:as Nat valueV))
_
false)))
(_.test "Can concatenate text."
- (|> (#synthesis.Extension "lux text size" (list concatenatedS))
+ (|> {#synthesis.Extension "lux text size" (list concatenatedS)}
(run (..safe "lux text size"))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(n.= (n.* 2 sample_size) (:as Nat valueV))
_
false)))
(_.test "Can find index of sub-text."
- (and (|> (#synthesis.Extension "lux text index"
- (list concatenatedS sample_lowerS
- (synthesis.i64 +0)))
+ (and (|> {#synthesis.Extension "lux text index"
+ (list concatenatedS sample_lowerS
+ (synthesis.i64 +0))}
(run (..safe "lux text index"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Maybe Nat) valueV)
- (#.Some valueV)])
+ {#.Some valueV}])
(n.= 0 valueV)
_
false))
- (|> (#synthesis.Extension "lux text index"
- (list concatenatedS sample_upperS
- (synthesis.i64 +0)))
+ (|> {#synthesis.Extension "lux text index"
+ (list concatenatedS sample_upperS
+ (synthesis.i64 +0))}
(run (..safe "lux text index"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Maybe Nat) valueV)
- (#.Some valueV)])
+ {#.Some valueV}])
(n.= sample_size valueV)
_
false))))
(let [test_clip (: (-> (I64 Any) (I64 Any) Text Bit)
(function (_ offset length expected)
- (|> (#synthesis.Extension "lux text clip"
- (list concatenatedS
- (synthesis.i64 offset)
- (synthesis.i64 length)))
+ (|> {#synthesis.Extension "lux text clip"
+ (list concatenatedS
+ (synthesis.i64 offset)
+ (synthesis.i64 length))}
(run (..safe "lux text clip"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Maybe Text) valueV)
- (#.Some valueV)])
+ {#.Some valueV}])
(text\= expected valueV)
_
@@ -270,13 +270,13 @@
(and (test_clip 0 sample_size sample_lower)
(test_clip sample_size sample_size sample_upper))))
(_.test "Can extract individual characters from text."
- (|> (#synthesis.Extension "lux text char"
- (list sample_lowerS
- (synthesis.i64 char_idx)))
+ (|> {#synthesis.Extension "lux text char"
+ (list sample_lowerS
+ (synthesis.i64 char_idx))}
(run (..safe "lux text char"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Maybe Int) valueV)
- (#.Some valueV)])
+ {#.Some valueV}])
(text.contains? ("lux i64 char" valueV)
sample_lower)
@@ -290,51 +290,51 @@
[message (r.ascii/alpha 5)]
($_ _.and
(_.test "Can log messages."
- (|> (#synthesis.Extension "lux io log"
- (list (synthesis.text (format "LOG: " message))))
+ (|> {#synthesis.Extension "lux io log"
+ (list (synthesis.text (format "LOG: " message)))}
(run (..safe "lux io log"))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
true
- (#try.Failure _)
+ {#try.Failure _}
false)))
(_.test "Can throw runtime errors."
- (and (|> (#synthesis.Extension "lux try"
- (list (synthesis.function/abstraction
- [#synthesis.environment (list)
- #synthesis.arity 1
- #synthesis.body (#synthesis.Extension "lux io error"
- (list (synthesis.text message)))])))
+ (and (|> {#synthesis.Extension "lux try"
+ (list (synthesis.function/abstraction
+ [#synthesis.environment (list)
+ #synthesis.arity 1
+ #synthesis.body {#synthesis.Extension "lux io error"
+ (list (synthesis.text message))}]))}
(run (..safe "lux try"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Try Text) valueV)
- (#try.Failure error)])
+ {#try.Failure error}])
(text.contains? message error)
_
false))
- (|> (#synthesis.Extension "lux try"
- (list (synthesis.function/abstraction
- [#synthesis.environment (list)
- #synthesis.arity 1
- #synthesis.body (synthesis.text message)])))
+ (|> {#synthesis.Extension "lux try"
+ (list (synthesis.function/abstraction
+ [#synthesis.environment (list)
+ #synthesis.arity 1
+ #synthesis.body (synthesis.text message)]))}
(run (..safe "lux try"))
- (case> (^multi (#try.Success valueV)
+ (case> (^multi {#try.Success valueV}
[(:as (Try Text) valueV)
- (#try.Success valueV)])
+ {#try.Success valueV}])
(text\= message valueV)
_
false))))
(_.test "Can obtain current time in milli-seconds."
- (|> (synthesis.tuple (list (#synthesis.Extension "lux io current-time" (list))
- (#synthesis.Extension "lux io current-time" (list))))
+ (|> (synthesis.tuple (list {#synthesis.Extension "lux io current-time" (list)}
+ {#synthesis.Extension "lux io current-time" (list)}))
(run (..safe "lux io current-time"))
- (case> (#try.Success valueV)
+ (case> {#try.Success valueV}
(let [[pre post] (:as [Nat Nat] valueV)]
(n.>= pre post))
- (#try.Failure _)
+ {#try.Failure _}
false)))
)))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 04:59:21 +0000