Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Reader.Compact

2 values

Packagepolysemy-zoo-0.8.2.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCompact.hs

valuerunReaderWithCompacted

:: Member (Embed IO) r
=> i
-> Sem (Reader i ': r) a
-> Sem r a

Run a Reader effect by compacting a value; otherwise behaves as normal. Useful for Reader effects which provide a large structure.

valuerunReaderWithExistingCompacted

:: Member (Embed IO) r
=> Compact i
-> Sem (Reader i ': r) a
-> Sem r a

Run a Reader effect with a value in a compact region. Will not add local values to the existing region, but will create a new region for it.