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 0fb387039..5b1cec8db 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -19,7 +19,7 @@ (type: .public (Refiner t %) (-> t (Maybe (Refined t %)))) - (def: .public (refiner predicate) + (def .public (refiner predicate) (All (_ t) (Ex (_ %) (-> (Predicate t) (Refiner t %)))) @@ -30,7 +30,7 @@ {.#None}))) (with_template [<name> <output> <slot>] - [(def: .public <name> + [(def .public <name> (All (_ t %) (-> (Refined t %) <output>)) (|>> representation (the <slot>)))] @@ -38,7 +38,7 @@ [predicate (Predicate t) #predicate] ) - (def: .public (lifted transform) + (def .public (lifted transform) (All (_ t %) (-> (-> t t) (-> (Refined t %) (Maybe (Refined t %))))) @@ -51,7 +51,7 @@ {.#None})))) ) -(def: .public (only refiner values) +(def .public (only refiner values) (All (_ t %) (-> (Refiner t %) (List t) (List (Refined t %)))) (case values @@ -66,7 +66,7 @@ {.#None} (only refiner tail)))) -(def: .public (partition refiner values) +(def .public (partition refiner values) (All (_ t %) (-> (Refiner t %) (List t) [(List (Refined t %)) (List t)])) (case values @@ -84,7 +84,7 @@ [yes {.#Item head no}])))) -(def: .public type +(def .public type (syntax (_ [refiner <code>.any]) ... TODO: Switch to the cleaner approach ASAP. (macro.with_symbols [g!t g!% g!_ g!:refiner:] |