| 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 | Safe |
| Language | Haskell98 |
Data.Semigroupoid
Description
A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.
- class Semigroupoid c where
- newtype WrappedCategory k a b = WrapCategory {
- unwrapCategory :: k a b
- newtype Semi m a b = Semi {
- getSemi :: m
Documentation
class Semigroupoid c where #
Minimal complete definition
Instances
| Semigroupoid k k1 => Semigroupoid k (Iso k k1) # | |
| Semigroup m => Semigroupoid k (Semi k k m) # | |
| Category k k1 => Semigroupoid k (WrappedCategory k k k1) # | |
| Semigroupoid k k1 => Semigroupoid k (Dual k k k1) # | |
| Semigroupoid * (->) # | |
| Semigroupoid * (,) # | http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands |
| Semigroupoid * Op # | |
| Bind m => Semigroupoid * (Kleisli m) # | |
| Semigroupoid * (Const *) # | |
| Extend w => Semigroupoid * (Cokleisli w) # | |
| Semigroupoid * (Tagged *) # | |
| Apply f => Semigroupoid * (Static f) # | |
newtype WrappedCategory k a b #
Constructors
| WrapCategory | |
Fields
| |
Instances
| Category k k1 => Category k (WrappedCategory k k k1) # | |
| Category k k1 => Semigroupoid k (WrappedCategory k k k1) # | |