CurryInfo: base-3.4.0 / Data.List.split

 
split :: (a -> Bool) -> [a] -> [[a]]
split _ []     = [[]]
split p (x:xs) | p x       = [] : split p xs
               | otherwise = let (ys:yss) = split p xs in (x:ys):yss

 argument 2

 deterministic operation

 
Splits a list into components delimited by separators,
where the predicate returns True for a separator element.
The resulting components do not contain the separators.
Two adjacent separators result in an empty component in the output.

    split (=='a') "aabbaca" == ["","","bb","c",""]
    split (=='a') ""        == [""]

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{[]}) |-> {:} || (_,{:}) |-> {:}}

 split

 no precedence defined

 {:}

 (a -> Prelude.Bool) -> [a] -> [[a]]

 operation might suspend on free variables

 yes

 possibly non-reducible on same data term