diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/documentation/lux/meta/type.lux | 8 |
2 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 01614c02b..24ea6295c 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -301,11 +301,6 @@ ($.comment "=>") ($.example #1)) - ($.definition /.type - "Takes a type expression and returns its representation as data-structure." - ($.example (type_literal (All (_ a) - (Maybe (List a)))))) - ($.definition /.is "The type-annotation macro." ($.example (is (List Int) diff --git a/stdlib/source/documentation/lux/meta/type.lux b/stdlib/source/documentation/lux/meta/type.lux index 778298d1f..72d876cb5 100644 --- a/stdlib/source/documentation/lux/meta/type.lux +++ b/stdlib/source/documentation/lux/meta/type.lux @@ -262,13 +262,19 @@ (foo expression))) (Bar a b c)))) ($.comment "=>") - ($.example (.type_literal (Bar Bit Nat Text)))) + ($.example (/.literal (Bar Bit Nat Text)))) ($.definition /.let "Local bindings for types." ($.example (let [side (Either Int Frac)] (List [side side])))) + ($.definition /.literal + "Takes a type expression and returns its representation as data-structure." + ($.example (/.literal + (All (_ of) + (Maybe (List of)))))) + (all list#composite ..\\parser |