aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 02:28:47 -0400
committerEduardo Julian2022-06-04 02:28:47 -0400
commit56d2835d35093e2d92c5e8a4371aa322b55e037b (patch)
tree1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/specification
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux4
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/specification/lux/world/file.lux12
-rw-r--r--stdlib/source/specification/lux/world/shell.lux6
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]