Control.Carrier.Fresh.Church · fused-effects-1.1.2.7

valuerunFresh :: (Int -> a -> m b) -> Int -> FreshC m a -> m b

Run a Fresh effect counting up from 0.

runFresh k n (pure a) = k n a

runFresh k n fresh = k (n + 1) n

valueevalFresh :: Applicative m => Int -> FreshC m a -> m a

Run a Fresh effect counting up from an initial value, and forgetting the final value.

evalFresh n (pure a) = pure a

evalFresh n fresh = pure n

newtypenewtype FreshC (m :: Type -> Type) a

Instances10MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …

MonadTrans FreshCDefined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
Monad (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
Functor (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
MonadFix m => MonadFix (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
MonadFail m => MonadFail (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
Applicative (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
Alternative m => Alternative (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
(Alternative m, Monad m) => MonadPlus (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
MonadIO m => MonadIO (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church
Algebra sig m => Algebra (Fresh :+: sig) (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Church

Fresh carrier