Copyright	(C) 2007-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	None
Language	Haskell98

Data.Semigroupoid

Description

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

Synopsis

Documentation

Minimal complete definition

Methods

o :: c j k -> c i j -> c i k Source #

Instances

Semigroupoid k ((:~:) k) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid k (Coercion k) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid k ((:~~:) k k) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid k1 k2 => Semigroupoid k1 (Iso k1 k2) Source #
Methods o :: c j k -> c i j -> c i k Source #
Category k1 k2 => Semigroupoid k1 (WrappedCategory k1 k1 k2) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroup m => Semigroupoid k (Semi k k m) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid k1 k2 => Semigroupoid k1 (Dual k1 k1 k2) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid * (,) Source #	http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid * Op Source #
Methods o :: c j k -> c i j -> c i k Source #
Bind m => Semigroupoid * (Kleisli m) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid * (Const *) Source #
Methods o :: c j k -> c i j -> c i k Source #
Extend w => Semigroupoid * (Cokleisli w) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid * (Tagged *) Source #
Methods o :: c j k -> c i j -> c i k Source #
Apply f => Semigroupoid * (Static f) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid * ((->) LiftedRep LiftedRep) Source #
Methods o :: c j k -> c i j -> c i k Source #

Constructors

WrapCategory
Fields unwrapCategory :: k a b

Instances

Category k1 k2 => Category k1 (WrappedCategory k1 k1 k2) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
Category k1 k2 => Semigroupoid k1 (WrappedCategory k1 k1 k2) Source #
Methods o :: c j k -> c i j -> c i k Source #

newtype Semi m a b Source #

Constructors

Semi
Fields getSemi :: m

Instances

Monoid m => Category k (Semi k k m) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
Semigroup m => Semigroupoid k (Semi k k m) Source #
Methods o :: c j k -> c i j -> c i k Source #