diff options
Diffstat (limited to 'stdlib/source/library/lux/type/refinement.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 78e289e4a..c171f3b3e 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -3,6 +3,9 @@ [lux (#- type) [abstract [predicate (#+ Predicate)]] + [control + [parser + ["<.>" code]]] ["." macro [syntax (#+ syntax:)]] ["." type @@ -86,7 +89,7 @@ [yes (#.Item head no)])))) -(syntax: .public (type refiner) +(syntax: .public (type [refiner <code>.any]) {#.doc (example "The Refined type associated with a Refiner type." (def: even (refiner even?)) |