Control.Monad.Trans.Fresh

Documentation

newtype FreshT v m a

Constructors

FreshT

Fields

runFreshT :: (v -> (v, v)) -> v -> m (a, 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)