diff options
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 81 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 45 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 83 |
3 files changed, 106 insertions, 103 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 590c3c92a..080e64af0 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -1,44 +1,45 @@ (.module: - [lux #* - [abstract - [monad (#+ Monad do)]] - [control - ["p" parser - ["<.>" type] - ["s" code (#+ Parser)]]] - [data - ["." product] - ["." bit] - ["." maybe] - ["." text ("#\." monoid) - ["%" format (#+ format)]] - [collection - ["." list ("#\." monad)] - ["." row] - ["." array] - ["." queue] - ["." set] - ["." dictionary (#+ Dictionary)] - ["." tree]]] - [macro - [syntax (#+ syntax:)] - ["." code] - ["." poly (#+ poly:)]] - [math - [number - ["." nat ("#\." decimal)] - ["." int] - ["." rev] - ["." frac]]] - [time - ["." duration] - ["." date] - ["." instant] - ["." day] - ["." month]] - ["." type - ["." unit]]] - [\\ + [library + [lux #* + [abstract + [monad (#+ Monad do)]] + [control + ["p" parser + ["<.>" type] + ["s" code (#+ Parser)]]] + [data + ["." product] + ["." bit] + ["." maybe] + ["." text ("#\." monoid) + ["%" format (#+ format)]] + [collection + ["." list ("#\." monad)] + ["." row] + ["." array] + ["." queue] + ["." set] + ["." dictionary (#+ Dictionary)] + ["." tree]]] + [macro + [syntax (#+ syntax:)] + ["." code] + ["." poly (#+ poly:)]] + [math + [number + ["." nat ("#\." decimal)] + ["." int] + ["." rev] + ["." frac]]] + [time + ["." duration] + ["." date] + ["." instant] + ["." day] + ["." month]] + ["." type + ["." unit]]]] + [\\library ["." /]]) (poly: #export equivalence diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 1d90bf0d9..fbd3e2519 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["." type] - [abstract - [monad (#+ Monad do)]] - [control - ["p" parser - ["<.>" type] - ["s" code (#+ Parser)]]] - [data - ["." product] - ["." text - ["%" format (#+ format)]] - [collection - ["." list ("#\." monad monoid)]]] - [macro - [syntax (#+ syntax:)] - ["." code] - ["." poly (#+ poly:)]] - [math - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["." type] + [abstract + [monad (#+ Monad do)]] + [control + ["p" parser + ["<.>" type] + ["s" code (#+ Parser)]]] + [data + ["." product] + ["." text + ["%" format (#+ format)]] + [collection + ["." list ("#\." monad monoid)]]] + [macro + [syntax (#+ syntax:)] + ["." code] + ["." poly (#+ poly:)]] + [math + [number + ["n" nat]]]]] + [\\library ["." /]]) (poly: #export functor diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 3022a59a8..d7409df9f 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -1,45 +1,46 @@ (.module: {#.doc "Codecs for values in the JSON format."} - [lux #* - ["." debug] - [abstract - [monad (#+ Monad do)] - [equivalence (#+ Equivalence)] - ["." codec]] - [control - ["." try] - ["<>" parser - ["<.>" type] - ["</>" json]]] - [data - ["." bit] - maybe - ["." sum] - ["." product] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." fold monad)] - ["." row (#+ Row row) ("#\." monad)] - ["d" dictionary]]] - [macro - [syntax (#+ syntax:)] - ["." code] - ["." poly (#+ poly:)]] - [math - [number - ["." i64] - ["n" nat ("#\." decimal)] - ["." int] - ["." frac ("#\." decimal)]]] - [time - ## ["." instant] - ## ["." duration] - ["." date] - ["." day] - ["." month]] - ["." type - ["." unit]]] - [\\ + [library + [lux #* + ["." debug] + [abstract + [monad (#+ Monad do)] + [equivalence (#+ Equivalence)] + ["." codec]] + [control + ["." try] + ["<>" parser + ["<.>" type] + ["</>" json]]] + [data + ["." bit] + maybe + ["." sum] + ["." product] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." fold monad)] + ["." row (#+ Row row) ("#\." monad)] + ["d" dictionary]]] + [macro + [syntax (#+ syntax:)] + ["." code] + ["." poly (#+ poly:)]] + [math + [number + ["." i64] + ["n" nat ("#\." decimal)] + ["." int] + ["." frac ("#\." decimal)]]] + [time + ## ["." instant] + ## ["." duration] + ["." date] + ["." day] + ["." month]] + ["." type + ["." unit]]]] + [\\library ["." / (#+ JSON)]]) (def: tag |