diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/specification/compositor | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to '')
5 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index c0909a558..1fbde2917 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [number ["n" nat] ["f" frac]] [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["r" random (.only Random)]] [tool diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 334ce7012..e8d5e6ab4 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [number ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" list]]] diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index d1ab6e87a..7e2c6d66f 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -10,9 +10,9 @@ [number ["n" nat]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["r" random (.only Random) ("[1]#[0]" monad)]] + ["r" random (.only Random) (.open: "[1]#[0]" monad)]] [tool [compiler [analysis (.only Arity)] diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 375cdf94c..d76f98f0a 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -7,10 +7,10 @@ ["[0]" pipe] ["[0]" try]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [number ["f" frac]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["r" random]] diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index e43533acb..d914c309f 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -11,11 +11,11 @@ [number ["n" nat] ["i" int]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" array (.only Array)] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["r" random]] ["[0]" ffi (.only import:)] |