Control.Lens.Internal.Profunctor

Documentation

newtype WrappedPafb f p a b

Constructors

WrapPafb

Fields

• unwrapPafb :: p a (f b)

Instances

(Functor f, Profunctor p) => Profunctor (WrappedPafb f p)

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

(Applicative f, Choice p) => Choice (WrappedPafb f p)

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)