Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulepolysemy-extra-0.2.1.0Haskell2010

Polysemy.Extra

Extra convenience functions for polysemy.

20 values

Packagepolysemy-extra-0.2.1.0
Exports20
LanguageHaskell2010
LicenceMIT
SourceExtra.hs

Input

4 declarations

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

4 declarations

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

1 declaration

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

3 declarations

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

5 declarations

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

3 declarations

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.