Data.Isomorphism

Documentation

data Iso k a b

Constructors

Iso

Fields

• embed :: k a b
• project :: k b a

Instances

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

Defined in Data.Isomorphism

Methods

id :: forall (a :: k). Iso k2 a a

(.) :: forall (b :: k) (c :: k) (a :: k). Iso k2 b c -> Iso k2 a b -> Iso k2 a c

Semigroupoid k2 => Groupoid (Iso k2 :: k1 -> k1 -> Type)

Defined in Data.Isomorphism

Methods

inv :: forall (a :: k) (b :: k). Iso k2 a b -> Iso k2 b a

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

Defined in Data.Isomorphism

Methods

o :: forall (j :: k) (k :: k) (i :: k). Iso k2 j k -> Iso k2 i j -> Iso k2 i k