Haskus.Utils.InfList

Infinite list

Documentation

data InfList a

An infinite list

Constructors

a :> (InfList a)

Instances

Foldable InfList

Defined in Haskus.Utils.InfList

Methods

fold :: Monoid m => InfList m -> m

foldMap :: Monoid m => (a -> m) -> InfList a -> m

foldMap' :: Monoid m => (a -> m) -> InfList a -> m

foldr :: (a -> b -> b) -> b -> InfList a -> b

foldr' :: (a -> b -> b) -> b -> InfList a -> b

foldl :: (b -> a -> b) -> b -> InfList a -> b

foldl' :: (b -> a -> b) -> b -> InfList a -> b

foldr1 :: (a -> a -> a) -> InfList a -> a

foldl1 :: (a -> a -> a) -> InfList a -> a

toList :: InfList a -> [a]

null :: InfList a -> Bool

length :: InfList a -> Int

elem :: Eq a => a -> InfList a -> Bool

maximum :: Ord a => InfList a -> a

minimum :: Ord a => InfList a -> a

sum :: Num a => InfList a -> a

product :: Num a => InfList a -> a

Functor InfList

Defined in Haskus.Utils.InfList

Methods

fmap :: (a -> b) -> InfList a -> InfList b

(<$) :: a -> InfList b -> InfList a

toList :: InfList a -> [a]

Convert to a standard list

repeat :: a -> InfList a

Repeat for infinite list

take :: Word -> InfList a -> [a]

Take for infinite list

replicate :: Word -> a -> InfList a -> InfList a

Replicate for infinite list