diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/predicate.lux | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/stdlib/source/lux/control/predicate.lux b/stdlib/source/lux/control/predicate.lux index 72fe8165f..1d683bf5a 100644 --- a/stdlib/source/lux/control/predicate.lux +++ b/stdlib/source/lux/control/predicate.lux @@ -1,7 +1,6 @@ (.module: [lux #* [control [monoid (#+ Monoid)]] - [data [collection [set (#+ Set)]]] [function]]) (type: #export (Predicate a) @@ -41,10 +40,6 @@ (and (base value) (not (sub value))))) -(def: #export (set set) - (All [a] (-> (Set a) (Predicate a))) - (set.member? set)) - (def: #export (rec predicate) (All [a] (-> (-> (Predicate a) (Predicate a)) |