Idris2Doc : Data.List.TailRec

Data.List.TailRec

break : (a -> Bool) -> Lista -> (Lista, Lista)
break_ext : (p : (a -> Bool)) -> (xs : Lista) -> breakpxs = breakpxs
intersperse : a -> Lista -> Lista
intersperse_ext : (sep : a) -> (xs : Lista) -> interspersesepxs = interspersesepxs
length : Lista -> Nat
Totality: total
length_ext : (xs : Lista) -> lengthxs = lengthxs
Totality: total
mapMaybe : (a -> Maybeb) -> Lista -> Listb
mapMaybe_ext : (f : (a -> Maybeb)) -> (xs : Lista) -> mapMaybefxs = mapMaybefxs
merge : Orda => Lista -> Lista -> Lista
mergeBy : (a -> a -> Ordering) -> Lista -> Lista -> Lista
mergeBy_ext : (order : (a -> a -> Ordering)) -> (left : Lista) -> (right : Lista) -> mergeByorderleftright = mergeByorderleftright
merge_ext : {auto {conArg:4338} : Orda} -> (left : Lista) -> (right : Lista) -> mergeleftright = mergeleftright
partition : (a -> Bool) -> Lista -> (Lista, Lista)
sortBy : (a -> a -> Ordering) -> Lista -> Lista
sorted : Orda => Lista -> Bool
sorted_ext : {auto {conArg:4008} : Orda} -> (xs : Lista) -> sortedxs = sortedxs
span : (a -> Bool) -> Lista -> (Lista, Lista)
span_ext : (p : (a -> Bool)) -> (xs : Lista) -> spanpxs = spanpxs
split : (a -> Bool) -> Lista -> List1 (Lista)
splitAt : Nat -> Lista -> (Lista, Lista)
splitAt_ext : (n : Nat) -> (xs : Lista) -> splitAtnxs = splitAtnxs
split_ext : (p : (a -> Bool)) -> (xs : Lista) -> splitpxs = splitpxs
take : Nat -> Lista -> Lista
take_ext : (n : Nat) -> (xs : Lista) -> takenxs = takenxs