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