Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype WrappedPafb f p a b Source #
WrapPafb | |
|
Instances
( Functor f, Profunctor p) => Profunctor ( WrappedPafb f p) Source # | |
Defined in Control.Lens.Internal.Profunctor dimap :: (a -> b) -> (c -> d) -> WrappedPafb f p b c -> WrappedPafb f p a d Source # lmap :: (a -> b) -> WrappedPafb f p b c -> WrappedPafb f p a c Source # rmap :: (b -> c) -> WrappedPafb f p a b -> WrappedPafb f p a c Source # (#.) :: forall a b c q. Coercible c b => q b c -> WrappedPafb f p a b -> WrappedPafb f p a c Source # (.#) :: forall a b c q. Coercible b a => WrappedPafb f p b c -> q a b -> WrappedPafb f p a c Source # |
|
( Applicative f, Choice p) => Choice ( WrappedPafb f p) Source # | |
Defined in Control.Lens.Internal.Profunctor left' :: WrappedPafb f p a b -> WrappedPafb f p ( Either a c) ( Either b c) Source # right' :: WrappedPafb f p a b -> WrappedPafb f p ( Either c a) ( Either c b) Source # |