Idris2Doc : Data.List.Lazy

Data.List.Lazy

(++) : LazyList a -> Lazy (LazyList a) -> LazyList a
  Totality: total
  Fixity Declaration: infixr operator, level 7
data LazyList : Type -> Type
  Totality: total
  Constructors:
  
Nil : LazyList a
  
(::) : a -> Lazy (LazyList a) -> LazyList a
all : (a -> Bool) -> LazyList a -> Bool
  Totality: total
any : (a -> Bool) -> LazyList a -> Bool
  Totality: total
bindLazy : (a -> LazyList b) -> LazyList a -> LazyList b
  Totality: total
choice : Alternative f => LazyList (f a) -> f a
  Totality: total
choiceMap : Alternative f => (a -> f b) -> LazyList a -> f b
  Totality: total
drop : Nat -> LazyList a -> LazyList a
  Totality: total
dropWhile : (a -> Bool) -> LazyList a -> LazyList a
  Totality: total
filter : (a -> Bool) -> LazyList a -> LazyList a
  Totality: total
foldrLazy : (elem -> Lazy acc -> acc) -> Lazy acc -> LazyList elem -> acc
  Totality: total
for : Applicative f => LazyList a -> (a -> f b) -> f (List b)
  Totality: total
fromList : List a -> LazyList a
  Totality: total
head' : LazyList a -> Maybe a
  Totality: total
intercalate : LazyList a -> LazyList (LazyList a) -> LazyList a
  Totality: total
intersperse : a -> LazyList a -> LazyList a
  Totality: total
iterate : (a -> Maybe a) -> a -> LazyList a
  
iterateN : Nat -> (a -> a) -> a -> LazyList a
  Totality: total
mapMaybe : (a -> Maybe b) -> LazyList a -> LazyList b
  Totality: total
mergeReplicate : a -> LazyList a -> LazyList a
  Totality: total
replicate : Nat -> a -> LazyList a
  Totality: total
sequence : Applicative f => LazyList (f a) -> f (List a)
  Totality: total
tail' : LazyList a -> Maybe (LazyList a)
  Totality: total
take : Nat -> LazyList a -> LazyList a
  Totality: total
takeWhile : (a -> Bool) -> LazyList a -> LazyList a
  Totality: total
toColist : LazyList a -> Colist a
  Totality: total
traverse : Applicative f => (a -> f b) -> LazyList a -> f (List b)
  Totality: total
unfoldr : (b -> Maybe (a, b)) -> b -> LazyList a