semigroupoids-4.3: Semigroupoids: Category sans id

Safe HaskellTrustworthy
LanguageHaskell98

Data.Isomorphism

Documentation

data Iso k a b Source

Constructors

Iso 

Fields

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

Instances