Copyright | (c) 2024 Sayo Koyoneda |
---|---|
License | MPL-2.0 (see the LICENSE file) |
Maintainer | ymdfield@outlook.jp |
Portability | portable |
Safe Haskell | None |
Language | GHC2021 |
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 #
module Data.Effect.Fresh