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

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

Run a Fresh effect counting up from 0.

runFresh n (pure a) = pure (n, a)

runFresh n fresh = pure (n + 1, n)

valueevalFresh :: Functor 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.Strict
Monad m => Monad (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
Functor m => Functor (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
MonadFix m => MonadFix (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
MonadFail m => MonadFail (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
Monad m => Applicative (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
(Alternative m, Monad m) => Alternative (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
(Alternative m, Monad m) => MonadPlus (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
MonadIO m => MonadIO (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict
Algebra sig m => Algebra (Fresh :+: sig) (FreshC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Fresh.Strict

Fresh carrier