| 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