`array.filter` and `array.filterMap`
LightAndLight opened this issue · comments
array.filter : (a -> Bool) -> Array a -> Array a
array.filterMap : (a -> (| Some : b, None : ()|)) -> Array a -> Array b
A functional scripting language.
LightAndLight opened this issue · comments
array.filter : (a -> Bool) -> Array a -> Array a
array.filterMap : (a -> (| Some : b, None : ()|)) -> Array a -> Array b