License | MIT |
---|---|
Maintainer | dan.firth@homotopic.tech |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
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
:: 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