Modulepolysemy-1.9.2.0

Polysemy.Internal.Combinators

valueintercept

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

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

valueinterpretH

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

valueinterpretWeaving

valuelazilyStateful

valuereinterpret

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

valuetransform

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