Data.Functor.Arrow.Opposite

Documentation

newtype Opposite a b

Constructors

Opposite

Fields

• opposite :: b -> a

Instances

Orpvariant Opposite

Defined in Data.Functor.Arrow.Opposite

Methods

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

Contravariant (Opposite a)

Defined in Data.Functor.Arrow.Opposite

Methods

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

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

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

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

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

type (<--) = Opposite