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

Control.Monad.Hefty.Shift

Description

 

Documentation

runShift :: FOEs es => (a -> Eff es ans) -> Eff (Shift ans (Op (Eff es ans)) ': es) a -> Eff es ans Source #

handleShift :: Monad m => AlgHandler (Shift ans (Op (m ans))) n m ans Source #

evalShift :: FOEs es => Eff (Shift a (Op (Eff es a)) ': es) a -> Eff es a Source #

module Data.Effect.Shift