semigroupoids-5.3: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilitypolykinds
Safe HaskellNone
LanguageHaskell98

Data.Isomorphism

Description

 

Documentation

data Iso k a b Source #

Constructors

Iso 

Fields

Instances
Category k2 => Category (Iso k2 :: k1 -> k1 -> *) Source # 
Instance details

Defined in Data.Isomorphism

Methods

id :: Iso k2 a a #

(.) :: Iso k2 b c -> Iso k2 a b -> Iso k2 a c #

Semigroupoid k2 => Semigroupoid (Iso k2 :: k1 -> k1 -> *) Source # 
Instance details

Defined in Data.Isomorphism

Methods

o :: Iso k2 j k -> Iso k2 i j -> Iso k2 i k Source #

Semigroupoid k2 => Groupoid (Iso k2 :: k1 -> k1 -> *) Source # 
Instance details

Defined in Data.Isomorphism

Methods

inv :: Iso k2 a b -> Iso k2 b a Source #