semigroupoids-3.1: Haskell 98 semigroupoids: Category sans id

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

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