diff options
Diffstat (limited to 'stdlib/source/specification')
8 files changed, 20 insertions, 20 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:)] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 8454e002a..eaa2a9b5b 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 6075f38c7..0956528de 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -7,17 +7,17 @@ ["[0]" predicate]] [control [io (.only IO)] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding - ["[0]" utf8 ("[1]#[0]" codec)]]] - ["[0]" binary (.only Binary) ("[1]#[0]" equivalence monoid) + ["[0]" utf8 (.open: "[1]#[0]" codec)]]] + ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence monoid) ["$[1]" \\test]] [collection ["[0]" list]]] @@ -26,7 +26,7 @@ [number ["n" nat]]] [time - ["[0]" instant (.only Instant) ("[1]#[0]" equivalence)]]]] + ["[0]" instant (.only Instant) (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 3bff4626d..64e31abfe 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -5,14 +5,14 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]] [parser ["[0]" environment (.only Environment)]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random] |