semigroupoids-5.1: 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
LanguageHaskell98

Data.Isomorphism

Description

 

Documentation

data Iso k a b Source #

Constructors

Iso 

Fields

Instances

Category k k1 => Category k (Iso k k1) Source # 

Methods

id :: cat a a #

(.) :: cat b c -> cat a b -> cat a c #

Semigroupoid k k1 => Semigroupoid k (Iso k k1) Source # 

Methods

o :: c j k -> c i j -> c i k Source #

Semigroupoid k k1 => Groupoid k (Iso k k1) Source # 

Methods

inv :: k a b -> k b a Source #