vvaluerescope :: Member (Scoped param1 effect) r=> param0 -> param1-> InterpreterFor (Scoped param0 effect) rPeek#
vvalueinterpretScoped :: 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) rPeek#
vvalueinterpretScopedAs :: param -> Sem r resource-> forall (m :: Type -> Type) x. resource -> effect m x -> Sem r x-> InterpreterFor (Scoped param effect) rPeek#
vvalueinterpretScopedH :: 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) rPeek#
vvalueinterpretScopedH' :: 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) rPeek#
vvalueinterpretScopedWith :: 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) rPeek#
vvalueinterpretScopedWithH :: 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) rPeek#
vvalueinterpretScopedWith_ :: 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) rPeek#
vvaluerunScoped :: 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) rPeek#
vvaluerunScopedAs :: param -> Sem r resource-> forall (q :: Effect). resource -> InterpreterFor effect (Opaque q ': r)-> InterpreterFor (Scoped param effect) rPeek#
vvaluerunScopedNew :: forall (q :: Effect). param -> InterpreterFor effect (Opaque q ': r)-> InterpreterFor (Scoped param effect) rPeek#