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

Control.Monad.Hefty.Fresh

Description

 

Documentation

runFreshNatural :: forall (es :: [Effect]) 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