hask-0: Categories

Copyright(c) Edward Kmett 2014
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Hask.Groupoid

Contents

Description

 

Synopsis

Groupoids

class Category c => Groupoid c where Source

Methods

inverse :: c a b -> c b a Source

Instances

Groupoid () Unit 
Groupoid Void Empty 
Groupoid j ((~>) j) => Groupoid (i -> j) (Nat j i) 
(Groupoid i ((~>) i), Groupoid j ((~>) j)) => Groupoid ((,) i j) (Prod i j)