| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Profunctor.DoubleStar
Documentation
data DoubleStar f g a b Source #
Constructors
| DoubleStar (f a -> g b) |
Instances
| (Functor f, Functor g) => Profunctor (DoubleStar f g) Source # | |
Defined in Data.Profunctor.DoubleStar Methods dimap :: (a -> b) -> (c -> d) -> DoubleStar f g b c -> DoubleStar f g a d # lmap :: (a -> b) -> DoubleStar f g b c -> DoubleStar f g a c # rmap :: (b -> c) -> DoubleStar f g a b -> DoubleStar f g a c # (#.) :: forall a b c q. Coercible c b => q b c -> DoubleStar f g a b -> DoubleStar f g a c # (.#) :: forall a b c q. Coercible b a => DoubleStar f g b c -> q a b -> DoubleStar f g a c # | |
| (Traversable f, Distributive g) => Choice (DoubleStar f g) Source # | |
Defined in Data.Profunctor.DoubleStar Methods left' :: DoubleStar f g a b -> DoubleStar f g (Either a c) (Either b c) # right' :: DoubleStar f g a b -> DoubleStar f g (Either c a) (Either c b) # | |
| (Traversable f, Distributive g) => MStrong (DoubleStar f g) Source # | |
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 # | |