semigroupoids-1.2.2.1: Haskell 98 semigroupoids: Category sans id

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Semigroupoid

Description

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

Synopsis

Documentation

class Semigroupoid c whereSource

Category sans id

Methods

o :: c j k -> c i j -> c i kSource

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