Safe Haskell	None
Language	Haskell2010

Data.Profunctor.MStrong

Documentation

Minimal complete definition

Methods

mfirst' :: Monoid m => p a b -> p (a, m) (b, m) Source #

msecond' :: Monoid m => p a b -> p (m, a) (m, b) Source #

Instances details

Functor f => MStrong (Star f) Source #
Instance details Defined in Data.Profunctor.MStrong Methods mfirst' :: Monoid m => Star f a b -> Star f (a, m) (b, m) Source # msecond' :: Monoid m => Star f a b -> Star f (m, a) (m, b) Source #
(Functor f, Foldable f) => MStrong (Costar f) Source #
Instance details Defined in Data.Profunctor.MStrong Methods mfirst' :: Monoid m => Costar f a b -> Costar f (a, m) (b, m) Source # msecond' :: Monoid m => Costar f a b -> Costar f (m, a) (m, b) Source #
MStrong (Forget r) Source #
Instance details Defined in Data.Profunctor.MStrong Methods mfirst' :: Monoid m => Forget r a b -> Forget r (a, m) (b, m) Source # msecond' :: Monoid m => Forget r a b -> Forget r (m, a) (m, b) Source #
MStrong (Tagged :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.MStrong Methods mfirst' :: Monoid m => Tagged a b -> Tagged (a, m) (b, m) Source # msecond' :: Monoid m => Tagged a b -> Tagged (m, a) (m, b) Source #
MStrong ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.MStrong Methods mfirst' :: Monoid m => (a -> b) -> (a, m) -> (b, m) Source # msecond' :: Monoid m => (a -> b) -> (m, a) -> (m, b) Source #
(Traversable f, Distributive g) => MStrong (DoubleStar f g) Source #
Instance details Defined in Data.Profunctor.DoubleStar Methods mfirst' :: Monoid m => DoubleStar f g a b -> DoubleStar f g (a, m) (b, m) Source # msecond' :: Monoid m => DoubleStar f g a b -> DoubleStar f g (m, a) (m, b) Source #