Skip to content

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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulepolysemy-1.9.2.0

Polysemy.Internal.Scoped

3 types
3 values

Packagepolysemy-1.9.2.0
Exports6
LicenceBSD-3-Clause

valuerescope

:: Member (Scoped param1 effect) r
=> param0 -> param1
-> InterpreterFor (Scoped param0 effect) r

valuescoped :: Member (Scoped param effect) r => param -> InterpreterFor effect r

valuescoped_ :: Member (Scoped_ effect) r => InterpreterFor effect r

datadata OuterRun (effect :: Effect) (a :: Type -> Type) b where

Constructors

OuterRun :: Word -> effect m a -> OuterRun effect a b

datadata Scoped param (effect :: Effect) (a :: Type -> Type) b where

Constructors

Run :: Word -> effect m a -> Scoped param effect a b
InScope :: param -> (Word -> m a) -> Scoped param effect a b

typetype Scoped_ (effect :: Effect) = Scoped () effect