Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulepolysemy-extra-0.2.1.0Haskell2010

Polysemy.Extra

Extra convenience functions for polysemy.

Contents

Input
Output
Raise
Reinterpreters
Rotation
Reverse

Synopsis

value contramapInput
value contramapInputSem
value contramapInput'
value runInputConstF
value mapOutput
value mapOutputSem
value mapOutput'
value runOutputMapAsKVStore
value raise4Under
value reinterpretUnder
value reinterpretUnder2
value reinterpret2Under
value rotateEffects2
value rotateEffects3L
value rotateEffects3R
value rotateEffects4L
value rotateEffects4R
value reverseEffects2
value reverseEffects3
value reverseEffects4

Packagepolysemy-extra-0.2.1.0
Exports20
LanguageHaskell2010
LicenceMIT
SourceExtra.hs

Input

valuecontramapInput

:: Members '[Input i'] r
=> (i' -> i)
A function to map the new input to the old input.
-> Sem (Input i ': r) a
-> Sem r a

Map an Input contravariantly.

valuecontramapInputSem

:: Members '[Input i'] r
=> (i' -> Sem r i)
A function to map the new input to the old input.
-> Sem (Input i ': r) a
-> Sem r a

Map an Input contravariantly through a monadic function. @since 0.1.0.0

valuecontramapInput'

:: Members '[Input i'] r
=> (i' -> i)
A function to map the new input to the old input.
-> Sem (Input i ': r) a
-> Sem (Input i' ': r) a

Reinterpreting version of contramapInput.

valuerunInputConstF :: f b -> Sem (Input (f b) ': r) a -> Sem r a

Like runInputConst, except with a type parameter for the functor for abusing type applications.

Output

valuemapOutput

:: Members '[Output o'] r
=> (o -> o')
A function to map the old output to the new output.
-> Sem (Output o ': r) a
-> Sem r a

Map an Output covariantly.

valuemapOutputSem

:: Members '[Output o'] r
=> (o -> Sem r o')
A function to map the old output to the new output.
-> Sem (Output o ': r) a
-> Sem r a

Map an Output covariantly through a monadic function.

valuemapOutput'

:: Members '[Output o'] r
=> (o -> o')
A function to map the old output to the new output.
-> Sem (Output o ': r) a
-> Sem (Output o' ': r) a

Reinterpreting version of mapOutput.

valuerunOutputMapAsKVStore

:: Members '[KVStore k v] r
=> Sem (Output (Map k v) ': r) a
-> Sem r a

Run an Output (Map k v) as a KVStore by writing the values to the keys.

Raise

valueraise4Under

:: Sem (e1 ': e2 ': e3 ': e4 ': r) a
-> Sem (e1 ': e2 ': e3 ': e4 ': e5 ': r) a

Like raise, but introduces an effect four levels underneath the head of the list.

Reinterpreters

valuereinterpretUnder

:: (forall (m :: [Effect]) x. Sem (e2 ': m) x -> Sem (e3 ': m) x)
A natural transformation from the handled effect to the new effects.
-> Sem (e1 ': e2 ': r) a
-> Sem (e1 ': e3 ': r) a

Reinterpret the second effect in the stack into a single effect.

valuereinterpretUnder2

:: (forall (m :: [Effect]) x. Sem (e3 ': m) x -> Sem (e4 ': m) x)
A natural transformation from the handled effect to the new effects.
-> Sem (e1 ': e2 ': e3 ': r) a
-> Sem (e1 ': e2 ': e4 ': r) a

Reinterpret the third effect in the stack into a single effect.

valuereinterpret2Under

:: (forall (m :: [Effect]) x. Sem (e2 ': m) x -> Sem (e3 ': e4 ': m) x)
A natural transformation from the handled effect to the new effects.
-> Sem (e1 ': e2 ': r) a
-> Sem (e1 ': e3 ': e4 ': r) a

Reinterpret the second effect in the stack in terms of two effects.

Rotation

valuerotateEffects2 :: Sem (e1 ': e2 ': r) a -> Sem (e2 ': e1 ': r) a

Swap the positions of the first two effects in the stack.

valuerotateEffects3L

:: Sem (e1 ': e2 ': e3 ': r) a
-> Sem (e2 ': e3 ': e1 ': r) a

Rotate the first three effects in the stack to the left.

valuerotateEffects3R

:: Sem (e1 ': e2 ': e3 ': r) a
-> Sem (e3 ': e1 ': e2 ': r) a

Rotate the first three effects in the stack to the right.

valuerotateEffects4L

:: Sem (e1 ': e2 ': e3 ': e4 ': r) a
-> Sem (e2 ': e3 ': e4 ': e1 ': r) a

Rotate the first four effects in the stack to the left.

valuerotateEffects4R

:: Sem (e1 ': e2 ': e3 ': e4 ': r) a
-> Sem (e4 ': e1 ': e2 ': e3 ': r) a

Rotate the first four effects in the stack to the right.

Reverse

valuereverseEffects2 :: Sem (e1 ': e2 ': r) a -> Sem (e2 ': e1 ': r) a

Reverse the position of the first two effects in the stack, equivalent to rotateEffects2.

valuereverseEffects3

:: Sem (e1 ': e2 ': e3 ': r) a
-> Sem (e3 ': e2 ': e1 ': r) a

Reverse the position of the first three effects in the stack.

valuereverseEffects4

:: Sem (e1 ': e2 ': e3 ': e4 ': r) a
-> Sem (e4 ': e3 ': e2 ': e1 ': r) a

Reverse the position of the first four effects in the stack.