CurryInfo: base-3.4.0 / Data.List.splitOn

 
splitOn :: Eq a => [a] -> [a] -> [[a]]
splitOn []          _  = error "splitOn called with an empty pattern"
splitOn [x]         xs = split (x ==) xs
splitOn sep@(_:_:_) xs = go xs
 where
  go []       = [[]]
  go l@(y:ys) | sep `isPrefixOf` l = [] : go (drop len l)
              | otherwise          = let (zs:zss) = go ys in (y:zs):zss
  len = length sep

 argument 2

 deterministic operation

 
Breaks the second list argument into pieces separated by the first
list argument, consuming the delimiter. An empty delimiter is
invalid, and will cause an error to be raised.

 (_, _, _)

 referentially transparent operation

 no fixity defined

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

 splitOn

 no precedence defined

 {:}

 Prelude.Eq a => [a] -> [a] -> [[a]]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term