Skip to main content
Publicación convertida en wiki de comunidad por ChemaCortes
Origen Enlace
ChemaCortes
  • 8.9k
  • 22
  • 36

Habría varias formas. Una podría ser mediante dobleces:

split :: Ord a => a -> [a] -> ([a],[a])
split x xs = foldl aux ([],[]) xs
  where aux (ys,zs) w | w <= x = (w:ys, zs)
                      | otherwise = (ys, w:zs)

Más clara queda definida por recursividad:

split :: Ord a => a -> [a] -> ([a],[a])
split _ [] = ([],[])
split x (y:ys) | y <= x = (y:zs, ws)
               | otherwise = (zs, y:ws)
  where zs, ws = split x ys

Incluso una versión compacta con aplicativos, más matemática:

split :: Ord a => a -> [a] -> ([a],[a])
split x = (,) <$> filter (<= x) <*> filter (> x)