semigroupoids-5.0.0.2: Semigroupoids: Category sans id

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

Data.Isomorphism

Description

 

Documentation

data Iso k a b Source

Constructors

Iso 

Fields

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

Instances

Category k k1 => Category k (Iso k k) 
Semigroupoid k k1 => Semigroupoid k (Iso k k) 
Semigroupoid k k1 => Groupoid k (Iso k k)