aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/language/type.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-07-11 19:47:40 -0400
committerEduardo Julian2018-07-11 19:47:40 -0400
commitfdfd7036806fe62ffaf054b61fbf16bbfb002b7c (patch)
tree21a0b03e30df303e111cc8e353dec9865b704917 /stdlib/source/lux/language/type.lux
parente7fc42bbc7d0b56384864a6fcd1b1e0bf8cd880b (diff)
- Improvements to import syntax [part 2].
Diffstat (limited to 'stdlib/source/lux/language/type.lux')
-rw-r--r--stdlib/source/lux/language/type.lux28
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)