semigroupoids-4.0: Semigroupoids: Category sans id

Safe HaskellTrustworthy

Data.Isomorphism

Documentation

data Iso k a b Source

Constructors

Iso 

Fields

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

Instances