semigroupoids-5.0.1: Semigroupoids: Category sans id

Copyright(C) 2007-2015 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

Constructors

WrapCategory 

Fields

unwrapCategory :: k a b
 

Instances

Category k k1 => Category k (WrappedCategory k k k) 
Category k k1 => Semigroupoid k (WrappedCategory k k k) 

newtype Semi m a b

Constructors

Semi 

Fields

getSemi :: m
 

Instances

Monoid m => Category k (Semi k k m) 
Semigroup m => Semigroupoid k (Semi k k m)