From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 02:28:47 -0400 Subject: Extensible import syntax [Part 6] --- stdlib/source/poly/lux/abstract/equivalence.lux | 6 +++--- stdlib/source/poly/lux/abstract/functor.lux | 2 +- stdlib/source/poly/lux/data/format/json.lux | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/poly') diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index b13c38453..63a88058e 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -10,10 +10,10 @@ [data ["[0]" product] ["[0]" bit] - ["[0]" text ("[1]#[0]" monoid) + ["[0]" text (.open: "[1]#[0]" monoid) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence] ["[0]" array] ["[0]" queue] @@ -25,7 +25,7 @@ ["[0]" code]] [math [number - ["[0]" nat ("[1]#[0]" decimal)] + ["[0]" nat (.open: "[1]#[0]" decimal)] ["[0]" int] ["[0]" rev] ["[0]" frac]]] diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 78a11f2fd..f7a4a6d7d 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -12,7 +12,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad monoid)]]] + ["[0]" list (.open: "[1]#[0]" monad monoid)]]] [macro [syntax (.only syntax:)] ["[0]" code]] diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 09b65efea..2bf11cdc7 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -15,7 +15,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence (.only sequence)] ["[0]" dictionary]]] [macro @@ -23,7 +23,7 @@ ["[0]" code]] [math [number - ["n" nat ("[1]#[0]" decimal)] + ["n" nat (.open: "[1]#[0]" decimal)] ["[0]" i64] ["[0]" int] ["[0]" frac]]] -- cgit v1.2.3