Control.Functor.Polyvariant.Orpvariant

Documentation

class Orpvariant t where

Minimal complete definition

orpmap

Methods

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

Instances

Orpvariant Opposite

Defined in Data.Functor.Arrow.Opposite

Methods

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