Control.Monad.Trans.Fresh.Stream

Documentation

newtype FreshT v m a

Constructors

FreshT

Fields

runFreshT :: Cofree Identity v -> m (a, Cofree Identity v)

Instances

Applicative m => Fresh v (FreshT v m)

MonadTrans (FreshT v)

Monad m => Monad (FreshT v m)

Functor m => Functor (FreshT v m)

(Functor m, Monad m) => Applicative (FreshT v m)

seedStream

Arguments

:: v

Stream seed

-> (v -> v)

Successor

-> Cofree Identity v

Creates a Cofree Identity v, based on a seed, and a function to split it.

integerStream :: Integer -> Cofree Identity Integer

A stream of integers.

listStream :: [v] -> Cofree Identity v

Creates a Cofree Identity v based on an infinite list.

This function will cause an error when the list turns out to be finite.