diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 03d064acc..7cecd9111 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -22,8 +22,8 @@ (-> t (Maybe (Refined t %)))) (def: .public (refiner predicate) - (All [t] - (Ex [%] + (All (_ t) + (Ex (_ %) (-> (Predicate t) (Refiner t %)))) (function (_ value) (if (predicate value) @@ -33,7 +33,7 @@ (template [<name> <output> <slot>] [(def: .public <name> - (All [t %] (-> (Refined t %) <output>)) + (All (_ t %) (-> (Refined t %) <output>)) (|>> :representation (value@ <slot>)))] [value t #value] @@ -41,7 +41,7 @@ ) (def: .public (lifted transform) - (All [t %] + (All (_ t %) (-> (-> t t) (-> (Refined t %) (Maybe (Refined t %))))) (function (_ refined) @@ -54,7 +54,7 @@ ) (def: .public (only refiner values) - (All [t %] + (All (_ t %) (-> (Refiner t %) (List t) (List (Refined t %)))) (case values #.End @@ -69,7 +69,7 @@ (only refiner tail)))) (def: .public (partition refiner values) - (All [t %] + (All (_ t %) (-> (Refiner t %) (List t) [(List (Refined t %)) (List t)])) (case values #.End |