heftia-effects-0.4.0.1: higher-order effects done right
Copyright(c) 2024 Sayo Koyoneda
LicenseMPL-2.0 (see the LICENSE file)
Maintainerymdfield@outlook.jp
Portabilityportable
Safe HaskellNone
LanguageGHC2021

Control.Monad.Hefty.Fresh

Description

 

Documentation

runFreshNatural :: forall (r :: [Type -> Type]) a. Eff ('[] :: [EffectH]) (Fresh Natural ': r) a -> Eff ('[] :: [EffectH]) r (Natural, a) Source #

runFreshNaturalAsState :: forall (r :: [EffectF]) (eh :: [EffectH]). State Natural <| r => Eff eh (Fresh Natural ': r) ~> Eff eh r Source #