From 7249707e7c09be68dfb7507ba363efd3300a0141 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 21:37:38 -0400 Subject: De-sigil-ification: suffix : [Part 14] --- stdlib/source/polytypic/lux/abstract/equivalence.lux | 8 ++++---- stdlib/source/polytypic/lux/abstract/functor.lux | 4 ++-- stdlib/source/polytypic/lux/data/format/json.lux | 6 +++--- 3 files changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/polytypic') diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 48accfa31..fce8d86bd 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -10,10 +10,10 @@ [data ["[0]" product] ["[0]" bit] - ["[0]" text (.open: "[1]#[0]" monoid) + ["[0]" text (.use "[1]#[0]" monoid) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monad)] + ["[0]" list (.use "[1]#[0]" monad)] ["[0]" sequence] ["[0]" array] ["[0]" queue] @@ -24,7 +24,7 @@ ["[0]" code]] [math [number - ["[0]" nat (.open: "[1]#[0]" decimal)] + ["[0]" nat (.use "[1]#[0]" decimal)] ["[0]" int] ["[0]" rev] ["[0]" frac]]] diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux index 07f2492cf..1ff6c0398 100644 --- a/stdlib/source/polytypic/lux/abstract/functor.lux +++ b/stdlib/source/polytypic/lux/abstract/functor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -12,7 +12,7 @@ ["[0]" text (.only) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monad monoid)]]] + ["[0]" list (.use "[1]#[0]" monad monoid)]]] [macro ["[0]" code]] [math diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index 6c0f18430..8ce7112e3 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -16,7 +16,7 @@ [json ["" \\parser]]] [collection - ["[0]" list (.open: "[1]#[0]" monad)] + ["[0]" list (.use "[1]#[0]" monad)] ["[0]" sequence (.only sequence)] ["[0]" dictionary]]] [macro @@ -24,7 +24,7 @@ ["[0]" code]] [math [number - ["n" nat (.open: "[1]#[0]" decimal)] + ["n" nat (.use "[1]#[0]" decimal)] ["[0]" i64] ["[0]" int] ["[0]" frac]]] -- cgit v1.2.3