Data.Semigroupoid.Dual

A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.

Documentation

newtype Dual k a b

Constructors

Dual

Fields

• getDual :: k b a

Instances

Category k2 => Category (Dual k2 :: k1 -> k1 -> Type)

Defined in Data.Semigroupoid.Dual

Methods

id :: Dual k2 a a

(.) :: Dual k2 b c -> Dual k2 a b -> Dual k2 a c

Semigroupoid k2 => Semigroupoid (Dual k2 :: k1 -> k1 -> Type)

Defined in Data.Semigroupoid.Dual

Methods

o :: Dual k2 j k -> Dual k2 i j -> Dual k2 i k

Groupoid k2 => Groupoid (Dual k2 :: k1 -> k1 -> Type)

Defined in Data.Groupoid

Methods

inv :: Dual k2 a b -> Dual k2 b a