Modulepolysemy-1.9.2.0

Polysemy.Scoped

Synopsis

valuerescope

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

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

valueinterpretScoped

:: forall (q :: Effect) x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x
-> forall (m :: Type -> Type) x. resource -> effect m x -> Sem r x
-> InterpreterFor (Scoped param effect) r

valueinterpretScopedAs

valueinterpretScopedH

:: forall (q :: Effect) x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x
-> forall (q :: Effect) (r0 :: EffectRow) x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Opaque q ': r) x
-> InterpreterFor (Scoped param effect) r

valueinterpretScopedH'

:: forall (e :: Effect) (r0 :: EffectRow) x. param -> (resource -> Tactical e (Sem r0) r x) -> Tactical e (Sem r0) r x
-> forall (r0 :: EffectRow) x. resource -> effect (Sem r0) x -> Tactical (Scoped param effect) (Sem r0) r x
-> InterpreterFor (Scoped param effect) r

valueinterpretScopedWith

:: KnownList extra
=> forall (q :: Effect) x. param -> (resource -> Sem (Append extra (Opaque q ': r)) x) -> Sem (Opaque q ': r) x
-> forall (m :: Type -> Type) x. resource -> effect m x -> Sem (Append extra r) x
-> InterpreterFor (Scoped param effect) r

valueinterpretScopedWithH

:: KnownList extra
=> forall (q :: Effect) x. param -> (resource -> Sem (Append extra (Opaque q ': r)) x) -> Sem (Opaque q ': r) x
-> forall (q :: Effect) (r0 :: EffectRow) x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Append extra (Opaque q ': r)) x
-> InterpreterFor (Scoped param effect) r

valueinterpretScopedWith_

:: KnownList extra
=> forall (q :: Effect) x. param -> Sem (Append extra (Opaque q ': r)) x -> Sem (Opaque q ': r) x
-> forall (m :: Type -> Type) x. effect m x -> Sem (Append extra r) x
-> InterpreterFor (Scoped param effect) r

valuerunScoped

:: forall (q :: Effect) x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x
-> forall (q :: Effect). resource -> InterpreterFor effect (Opaque q ': r)
-> InterpreterFor (Scoped param effect) r

valuerunScopedAs

valuerunScopedNew

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

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