CurryInfo: base-3.4.0 / Data.List.insertBy

 
insertBy :: (a -> a -> Bool) -> a -> [a] -> [a]
insertBy _  x []     = [x]
insertBy le x (y:ys) = if le x y
                         then x : y : ys
                         else y : insertBy le x ys

 argument 3

 deterministic operation

 
Inserts an object into a list according to an ordering relation.
@param le - an ordering relation (e.g., less-or-equal)
@param x - an element
@param xs - a list
@return a list where the element has been inserted

 (_, _, _)

 referentially transparent operation

 no fixity defined

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

 insertBy

 no precedence defined

 {:}

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

 operation might suspend on free variables

 yes

 reducible on all ground data terms