Robert Soeldner (Jul 05 2021 at 19:50): Robert Soeldner (Jul 05 2021 at 19:50):I was looking for splitWith, like
fun splitWith :: "'a list ⇒ ('a ⇒ bool) ⇒ 'a list × 'a list" where
"splitWith t p = foldr (λe (l,r). if p e then (e#l,r) else (l, e#r)) t ([],[])"
any reason it (and friends) are not in the List theory?
Manuel Eberl (Jul 05 2021 at 19:53):You're looking for partition.
Robert Soeldner (Jul 05 2021 at 19:54):ha :-) thank you
Manuel Eberl (Jul 05 2021 at 19:56):If you want to export code, note that the default code equations from the library may not be terribly efficient depending on your target language.
Manuel Eberl (Jul 05 2021 at 19:56):(The definition/code equations are basically equivalent to your fold.)
Robert Soeldner (Jul 05 2021 at 19:57):good to know, thank you
Last updated: Dec 21 2024 at 16:20 UTC