diff options
Diffstat (limited to 'stdlib/source/library/lux/type/refinement.lux')
-rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index f2709d5e2..35189a071 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -21,9 +21,9 @@ (All [t] (Ex [%] (-> (Predicate t) (Refiner t %)))) - (function (_ un_refined) - (if (predicate un_refined) - (#.Some (:abstraction {#value un_refined + (function (_ value) + (if (predicate value) + (#.Some (:abstraction {#value value #predicate predicate})) #.None))) @@ -32,7 +32,7 @@ (All [t %] (-> (Refined t %) <output>)) (|>> :representation (get@ <slot>)))] - [un_refine t #value] + [value t #value] [predicate (Predicate t) #predicate] ) |