heftia-effects-0.1.0.0: Handlers for standard effects using Heftia.
Copyright(c) 2023 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Effect.Handler.Heftia.Reader

Description

Interpreter and elaborator for the Reader effect class.

Documentation

interpretReader :: (Monad m, ForallHFunctor es) => r -> Hef (LocalS r ': es) (Fre (AskI r ': es') m) ~> Hef es (Fre es' m) Source #

interpretReaderH :: (AskI r <| es', ForallHFunctor es, Monad m) => Hef (LocalS r ': es) (Fre es' m) ~> Hef es (Fre es' m) Source #

elaborateReader :: (AskI r <| es, Monad m) => LocalS r (Fre es m) ~> Fre es m Source #

interpretAsk :: Monad m => r -> Fre (AskI r ': es) m ~> Fre es m Source #

liftReader :: (ForallHFunctor es, Monad m) => Hef es (Fre es' m) ~> Hef (LocalS FilePath ': es) (Fre (AskI FilePath ': es') m) Source #