From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 2 Dec 2022 19:33:00 -0400 Subject: Added some simple time-series handling machinery. --- stdlib/source/specification/compositor/generation/structure.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/structure.lux') diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index acf9888e8..b28648520 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -33,8 +33,8 @@ (def (variant run) (-> Runner Test) (do [! r.monad] - [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) - tag_in (|> r.nat (at ! each (n.% num_tags))) + [num_tags (|> r.nat (of ! each (|>> (n.% 10) (n.max 2)))) + tag_in (|> r.nat (of ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] (_.test (%.symbol (symbol synthesis.variant)) @@ -69,7 +69,7 @@ (def (tuple run) (-> Runner Test) (do [! r.monad] - [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (of ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] (_.test (%.symbol (symbol synthesis.tuple)) (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) -- cgit v1.2.3