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-vinyl-0.1.5.0Haskell2010

Polysemy.Vinyl

Extra functions for using vinyl records with polysemy.

Synopsis

value rContramapInput
value rContramapInput'
value rMapOutput
value rMapOutput'
value separateRecInput
value separateRecInput'
value stripRecInput
value endRecInput
value runInputConstFC
value runSeveral

Packagepolysemy-vinyl-0.1.5.0
Exports10
LanguageHaskell2010
LicenceMIT
SourceVinyl.hs

valuerContramapInput

:: (RMap xs, Members '[Input (Rec f xs)] r)
=> (forall (y :: u). f y -> g y)
A natural transformation from f to g.
-> Sem (Input (Rec g xs) ': r) a
-> Sem r a

Map an Input containing a Rec contravariantly via a natural transformation. Uses rmap.

valuerContramapInput'

:: RMap xs
=> (forall (y :: u). f y -> g y)
A natural transformation from f to g.
-> Sem (Input (Rec g xs) ': r) a
-> Sem (Input (Rec f xs) ': r) a

Reinterpreting version of rContramapInput.

valuerMapOutput

:: (RMap xs, Members '[Output (Rec g xs)] r)
=> (forall (y :: u). f y -> g y)
A natural transformation from f to g.
-> Sem (Output (Rec f xs) ': r) a
-> Sem r a

Map an Output containing a Rec covariantly via a natural transformation. Uses rmap.

valuerMapOutput'

:: RMap xs
=> (forall (y :: u). f y -> g y)
A natural transformation from f to g.
-> Sem (Output (Rec f xs) ': r) a
-> Sem (Output (Rec g xs) ': r) a

Reinterpreting version of rMapOutput.

valueseparateRecInput

:: Members '[Input (Rec f xs), Input (f x)] r
=> Sem (Input (Rec f (x ': xs)) ': r) a2
-> Sem r a2

Separate one of the fields of an Input Rec into its own Input.

valueseparateRecInput'

:: Sem (Input (Rec f (x ': xs)) ': r) a
-> Sem (Input (f x) ': Input (Rec f xs) ': r) a

Reinterpreting version of separateRecInput. This assumes you want to handle the separated case first.

valuestripRecInput

:: Members '[Input (f x)] (Input (Rec f xs) ': r)
=> Sem (Input (Rec f (x ': xs)) ': r) a
-> Sem (Input (Rec f xs) ': r) a

Like separateRecInput, but places the remainer of the Rec at the head of the list while pushing the case into the stack. This is useful when you want to eliminate the record first by repeated applications of stripRecInput.

valueendRecInput :: Sem (Input (Rec f '[]) ': r) a -> Sem r a

Discard a depleted Rec Input by returning RNil.

valuerunInputConstFC :: f (g b) -> Sem (Input ((:.) f g b) ': r) a -> Sem r a

Like runInputConstF but for vinyl composed functors.

valuerunSeveral

:: forall (r' :: [Effect]) k x. k -> Sem (e k ': r') x -> Sem r' x
-> Rec f xs
-> Sem (Append (TypeMap e (TypeMap f xs)) r) a2
-> Sem r a2

Like runSeveral but for a vinyl Rec.