Polysemy.Vinyl

Description

Extra functions for using vinyl records with polysemy.

Synopsis

rContramapInput :: (RMap xs, Members '[Input (Rec f xs)] r) => (forall y. f y -> g y) -> Sem (Input (Rec g xs) ': r) a -> Sem r a
rContramapInput' :: RMap xs => (forall y. f y -> g y) -> Sem (Input (Rec g xs) ': r) a -> Sem (Input (Rec f xs) ': r) a
rMapOutput :: (RMap xs, Members '[Output (Rec g xs)] r) => (forall y. f y -> g y) -> Sem (Output (Rec f xs) ': r) a -> Sem r a
rMapOutput' :: RMap xs => (forall y. f y -> g y) -> Sem (Output (Rec f xs) ': r) a -> Sem (Output (Rec g xs) ': r) a

Documentation

Arguments

:: (RMap xs, Members '[Input (Rec f xs)] r)
=> (forall y. 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.

Since: 0.1.0.0

Arguments

:: RMap xs
=> (forall y. 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.

Since: 0.1.0.0

Arguments

:: (RMap xs, Members '[Output (Rec g xs)] r)
=> (forall y. 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.

Since: 0.1.0.0

Arguments

:: RMap xs
=> (forall y. 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.

Since: 0.1.0.0