Control.Monad.Trans.Fresh.Delta

Documentation

data Triplet a

Constructors

Triplet a a a

newtype FreshT v m a

Constructors

FreshT

Fields

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

Instances

Applicative m => Fresh v (FreshT v m)

MonadTrans (FreshT v)

Monad m => Monad (FreshT v m)

Functor m => Functor (FreshT v m)

Applicative m => Applicative (FreshT v m)

seedDelta

Arguments

:: v

Delta seed

-> (v -> v)

Successor

-> (v -> (v, v))

Splitter

-> Cofree Triplet v

Creates a Cofree Triplet v, based on a seed, and functions to split and succeed it.

integerDelta :: Integer -> Cofree Triplet Integer

A delta of integers.