semigroupoids-4.3: Semigroupoids: Category sans id

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

Data.Semigroupoid

Description

A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.

Synopsis

Documentation

newtype WrappedCategory k a b Source

Constructors

WrapCategory 

Fields

unwrapCategory :: k a b
 

newtype Semi m a b Source

Constructors

Semi 

Fields

getSemi :: m
 

Instances