Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulepolysemy-1.9.2.0

Polysemy.Internal.Combinators

Synopsis

value intercept
value interceptH
value interceptUsing
value interceptUsingH
value interpret
value interpretH
value interpretWeaving
value lazilyStateful
value reinterpret
value reinterpret2
value reinterpret2H
value reinterpret3
value reinterpret3H
value reinterpretH
value rewrite
value stateful
value transform

Packagepolysemy-1.9.2.0
Exports17
LicenceBSD-3-Clause

valueintercept

:: (Member e r, FirstOrder e "intercept")
=> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Sem r x
-> Sem r a
-> Sem r a

valueinterceptH

:: Member e r
=> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Tactical e (Sem rInitial) r x
-> Sem r a
-> Sem r a

valueinterceptUsing

:: FirstOrder e "interceptUsing"
=> ElemOf e r
-> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Sem r x
-> Sem r a
-> Sem r a

valueinterceptUsingH

:: ElemOf e r
-> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Tactical e (Sem rInitial) r x
-> Sem r a
-> Sem r a

valueinterpret

:: FirstOrder e "interpret"
=> forall (rInitial :: EffectRow) x. e (Sem rInitial) x -> Sem r x
-> Sem (e ': r) a
-> Sem r a

valueinterpretH

:: forall (rInitial :: EffectRow) x. e (Sem rInitial) x -> Tactical e (Sem rInitial) r x
-> Sem (e ': r) a
-> Sem r a

valueinterpretWeaving

:: forall x. Weaving e (Sem (e ': r)) x -> Sem r x
-> InterpreterFor e r

valuelazilyStateful

:: forall x (m :: Type -> Type). e m x -> s -> Sem r (s, x)
-> s
-> Sem (e ': r) a
-> Sem r (s, a)

valuereinterpret

:: FirstOrder e1 "reinterpret"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

valuereinterpret2

:: FirstOrder e1 "reinterpret2"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': e3 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': r) a

valuereinterpret2H

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': e3 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': r) a

valuereinterpret3

:: FirstOrder e1 "reinterpret3"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': e3 ': e4 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': e4 ': r) a

valuereinterpret3H

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': e3 ': e4 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': e4 ': r) a

valuereinterpretH

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

valuerewrite

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

valuestateful

:: forall x (m :: Type -> Type). e m x -> s -> Sem r (s, x)
-> s
-> Sem (e ': r) a
-> Sem r (s, a)

valuetransform

:: Member e2 r
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x
-> Sem (e1 ': r) a
-> Sem r a