Idris2Doc : Data.List.Lazy

Data.List.Lazy

(++) : LazyLista -> Lazy (LazyLista) -> LazyLista
Totality: total
Fixity Declaration: infixr operator, level 7
dataLazyList : Type -> Type
Totality: total
Constructors:
Nil : LazyLista
(::) : a -> Lazy (LazyLista) -> LazyLista
all : (a -> Bool) -> LazyLista -> Bool
Totality: total
any : (a -> Bool) -> LazyLista -> Bool
Totality: total
bindLazy : (a -> LazyListb) -> LazyLista -> LazyListb
Totality: total
choice : Alternativef => LazyList (fa) -> fa
Totality: total
choiceMap : Alternativef => (a -> fb) -> LazyLista -> fb
Totality: total
drop : Nat -> LazyLista -> LazyLista
Totality: total
dropWhile : (a -> Bool) -> LazyLista -> LazyLista
Totality: total
filter : (a -> Bool) -> LazyLista -> LazyLista
Totality: total
foldrLazy : (elem -> Lazy acc -> acc) -> Lazy acc -> LazyListelem -> acc
Totality: total
for : Applicativef => LazyLista -> (a -> fb) -> f (Listb)
Totality: total
fromList : Lista -> LazyLista
Totality: total
head' : LazyLista -> Maybea
Totality: total
intercalate : LazyLista -> LazyList (LazyLista) -> LazyLista
Totality: total
intersperse : a -> LazyLista -> LazyLista
Totality: total
iterate : (a -> Maybea) -> a -> LazyLista
iterateN : Nat -> (a -> a) -> a -> LazyLista
Totality: total
mapMaybe : (a -> Maybeb) -> LazyLista -> LazyListb
Totality: total
mergeReplicate : a -> LazyLista -> LazyLista
Totality: total
replicate : Nat -> a -> LazyLista
Totality: total
sequence : Applicativef => LazyList (fa) -> f (Lista)
Totality: total
tail' : LazyLista -> Maybe (LazyLista)
Totality: total
take : Nat -> LazyLista -> LazyLista
Totality: total
takeWhile : (a -> Bool) -> LazyLista -> LazyLista
Totality: total
toColist : LazyLista -> Colista
Totality: total
traverse : Applicativef => (a -> fb) -> LazyLista -> f (Listb)
Totality: total
unfoldr : (b -> Maybe (a, b)) -> b -> LazyLista