diff options
Diffstat (limited to 'stdlib/source/lux/language/type.lux')
| -rw-r--r-- | stdlib/source/lux/language/type.lux | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/stdlib/source/lux/language/type.lux b/stdlib/source/lux/language/type.lux index 2e8a33245..09c30fd03 100644 --- a/stdlib/source/lux/language/type.lux +++ b/stdlib/source/lux/language/type.lux @@ -1,17 +1,19 @@ (.module: {#.doc "Basic functionality for working with types."} - [lux (#- function)] - (lux (control [equivalence (#+ Equivalence)] - [monad (#+ do Monad)] - ["p" parser]) - (data [text ("text/" Monoid<Text> Equivalence<Text>)] - [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)] - [number ("nat/" Codec<Text,Nat>)] - [maybe] - (collection [list ("list/" Functor<List> Monoid<List> Fold<List>)])) - [macro] - (macro [code] - ["s" syntax (#+ Syntax syntax:)]) - )) + [lux (#- function) + [control + [equivalence (#+ Equivalence)] + [monad (#+ do Monad)] + ["p" parser]] + [data + [text ("text/" Monoid<Text> Equivalence<Text>)] + [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)] + [number ("nat/" Codec<Text,Nat>)] + [maybe] + [collection [list ("list/" Functor<List> Monoid<List> Fold<List>)]]] + ["." macro + [code] + ["s" syntax (#+ Syntax syntax:)]] + ]) ## [Utils] (def: (beta-reduce env type) |