CurryInfo: base-3.4.0 / Data.List.groupBy

 
groupBy :: (a -> a -> Bool) -> [a] -> [[a]]
groupBy _  []     = []
groupBy eq (x:xs) = (x:ys) : groupBy eq zs
                    where (ys,zs) = span (eq x) xs

 argument 2

 deterministic operation

 
Splits the list argument into a list of lists of related adjacent
elements.
@param eq - the relation to classify adjacent elements
@param xs - the list of elements
@return the list of lists of related adjacent elements

 (_, _)

 referentially transparent operation

 no fixity defined

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

 groupBy

 no precedence defined

 {:,[]}

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

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term