Control.Category.Semigroupoid

Definitions

interface Semigroupoid : (obj -> obj -> Type) -> Type

  A *semigroupoid* is a category that lacks identity morphisms.
  
  This is the interface-style definition of a semigroupoid. For the
  record-style definition, see `Control.Category.Records.SemigroupoidR`.
  
  Laws:
  * `(f . g) . h = f . (g . h)`

Parameters: cat
Constructor: 

MkSemigroupoid

Methods:

(.) : cat b c -> cat a b -> cat a c

Fixity Declaration: infixr operator, level 9

Implementations:

Semigroupoid Morphism

Monad m => Semigroupoid (Kleislimorphism m)

Monad m => Semigroupoid (Star m)

Semigroupoid Tagged

(.) : Semigroupoid cat => cat b c -> cat a b -> cat a c

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 9