| Copyright | (c) 2024-2025 Sayo contributors |
|---|---|
| License | MPL-2.0 (see the LICENSE file) |
| Maintainer | ymdfield@outlook.jp |
| Safe Haskell | None |
| Language | GHC2021 |
Control.Monad.Hefty.Fresh
Description
Documentation
runFreshNatural :: forall (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => Eff (Fresh Natural ': es) a -> Eff es (Natural, a) Source #
runFreshNaturalAsState :: forall (es :: [Effect]) a. State Natural :> es => Eff (Fresh Natural ': es) a -> Eff es a Source #
module Data.Effect.Fresh