data-fresh-0.2013.250: An interface for generating fresh values

Safe HaskellSafe-Inferred

Control.Monad.Trans.Fresh

Documentation

newtype FreshT v m a Source

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)