Control.Effect.Interpreter.Heftia.Fresh

Description

Documentation

runFreshNatural :: (Freer c fr, Union u, HFunctor (u '[]), Member u (State Natural) (LState Natural ': r), c (Eff u fr '[] r), c (StateT Natural (Eff u fr '[] r)), Monad (Eff u fr '[] r), Monad (Eff u fr '[] (LState Natural ': r))) => Eff u fr '[] (LFresh Natural ': r) a -> Eff u fr '[] r (Natural, a) Source #

runFreshNaturalAsState :: forall r fr u c. (Freer c fr, Union u, Member u (State Natural) r, Monad (Eff u fr '[] r), HFunctor (u '[])) => Eff u fr '[] (LFresh Natural ': r) ~> Eff u fr '[] r Source #