diff options
Diffstat (limited to 'stdlib/source/library/lux/type/refinement.lux')
-rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 2ab800d2c..03d064acc 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -12,14 +12,13 @@ abstract]]]) (abstract: .public (Refined t %) - {#.doc "A refined version of another type, using a predicate to select valid instances."} + {} (Record {#value t #predicate (Predicate t)}) (type: .public (Refiner t %) - {#.doc (example "A selection mechanism for refined instances of a type.")} (-> t (Maybe (Refined t %)))) (def: .public (refiner predicate) @@ -42,8 +41,6 @@ ) (def: .public (lifted transform) - {#.doc (example "Yields a function that can work on refined values." - "Respects the constraints of the refinement.")} (All [t %] (-> (-> t t) (-> (Refined t %) (Maybe (Refined t %))))) @@ -72,7 +69,6 @@ (only refiner tail)))) (def: .public (partition refiner values) - {#.doc (example "Separates refined values from the un-refined ones.")} (All [t %] (-> (Refiner t %) (List t) [(List (Refined t %)) (List t)])) (case values @@ -91,16 +87,6 @@ (#.Item head no)])))) (syntax: .public (type [refiner <code>.any]) - {#.doc (example "The Refined type associated with a Refiner type." - (def: even - (refiner even?)) - - (def: Even - Type - (type even)) - - (: (Maybe Even) - (even 123)))} (macro.with_identifiers [g!t g!%] (in (list (` ((~! type.:by_example) [(~ g!t) (~ g!%)] (..Refiner (~ g!t) (~ g!%)) |