| 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
- class Semigroupoid c where
- o :: c j k -> c i j -> c i k
- newtype WrappedCategory k a b = WrapCategory {
- unwrapCategory :: k a b
- newtype Semi m a b = Semi {
- getSemi :: m
Documentation
class Semigroupoid c where #
Instances
| Semigroupoid ((:~:) :: k -> k -> Type) # | |
| Semigroupoid (Coercion :: k -> k -> Type) # | |
| Semigroupoid ((:~~:) :: k -> k -> Type) # | |
| Semigroupoid k2 => Semigroupoid (Iso k2 :: k1 -> k1 -> Type) # | |
| Category k2 => Semigroupoid (WrappedCategory k2 :: k1 -> k1 -> Type) # | |
Defined in Data.Semigroupoid Methods o :: WrappedCategory k2 j k -> WrappedCategory k2 i j -> WrappedCategory k2 i k # | |
| Semigroup m => Semigroupoid (Semi m :: k -> k -> Type) # | |
| Semigroupoid k2 => Semigroupoid (Dual k2 :: k1 -> k1 -> Type) # | |
| Semigroupoid (,) # | http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands |
Defined in Data.Semigroupoid | |
| Semigroupoid Op # | |
| Bind m => Semigroupoid (Kleisli m :: Type -> Type -> Type) # | |
| Semigroupoid (Const :: Type -> Type -> Type) # | |
| Semigroupoid (Tagged :: Type -> Type -> Type) # | |
| Apply f => Semigroupoid (Static f :: Type -> Type -> Type) # | |
| Semigroupoid ((->) :: Type -> Type -> Type) # | |
Defined in Data.Semigroupoid | |
| Extend w => Semigroupoid (Cokleisli w :: Type -> Type -> Type) # | |
newtype WrappedCategory k a b #
Constructors
| WrapCategory | |
Fields
| |
Instances
| Category k2 => Category (WrappedCategory k2 :: k1 -> k1 -> Type) # | |
Defined in Data.Semigroupoid Methods id :: WrappedCategory k2 a a # (.) :: WrappedCategory k2 b c -> WrappedCategory k2 a b -> WrappedCategory k2 a c # | |
| Category k2 => Semigroupoid (WrappedCategory k2 :: k1 -> k1 -> Type) # | |
Defined in Data.Semigroupoid Methods o :: WrappedCategory k2 j k -> WrappedCategory k2 i j -> WrappedCategory k2 i k # | |