morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Arrow.Opposite

Documentation

newtype Opposite a b Source #

Constructors

Opposite 

Fields

Instances
Orpvariant Opposite Source # 
Instance details

Defined in Data.Functor.Arrow.Opposite

Methods

orpmap :: (a -> b) -> (c -> d) -> Opposite a d -> Opposite b c Source #

Contravariant (Opposite a) Source # 
Instance details

Defined in Data.Functor.Arrow.Opposite

Methods

(>$<) :: (a0 -> b) -> Opposite a b -> Opposite a a0 Source #

contramap :: (a0 -> b) -> Opposite a b -> Opposite a a0 Source #

(>$) :: b -> Opposite a b -> Opposite a a0 Source #

($<) :: Opposite a b -> b -> Opposite a a0 Source #

full :: Opposite a () -> Opposite a a0 Source #