RetroSearch Browse

Showing content from http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/Control-Category.html below:

Portability portable Stability experimental Maintainer ashley@semantic.org Safe Haskell Trustworthy

Control.Category

Description

Synopsis

class Category cat where
- id :: cat a a
- (.) :: cat b c -> cat a b -> cat a c
(<<<) :: Category cat => cat b c -> cat a b -> cat a c
(>>>) :: Category cat => cat a b -> cat b c -> cat a c

Documentation

class Category cat whereSource

A class for categories. id and (.) must form a monoid.

Methods

id :: cat a aSource

the identity morphism

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

morphism composition

Instances

(<<<) :: Category cat => cat b c -> cat a b -> cat a cSource

Right-to-left composition

(>>>) :: Category cat => cat a b -> cat b c -> cat a cSource

Left-to-right composition

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4