Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Semigroupoid m => Category m where
- identity :: m a a
- (<---------), (<--------), (<-------), (<------), (<-----), (<----), (<---), (<--) :: m (m a b) (m a b)
- (--------->), (-------->), (------->), (------>), (----->), (---->), (--->), (-->) :: m (m a b) (m a b)
Documentation
class Semigroupoid m => Category m where Source #
When providing a new instance, you should ensure it satisfies: * Left identity: identity . f ≡ f * Right identity: f . identity ≡ f
(<---------) :: m (m a b) (m a b) infixl 1 Source #
(<--------) :: m (m a b) (m a b) infixl 2 Source #
(<-------) :: m (m a b) (m a b) infixl 3 Source #
(<------) :: m (m a b) (m a b) infixl 4 Source #
(<-----) :: m (m a b) (m a b) infixl 5 Source #
(<----) :: m (m a b) (m a b) infixl 6 Source #
(<---) :: m (m a b) (m a b) infixl 7 Source #
(<--) :: m (m a b) (m a b) infixl 8 Source #
(--------->) :: m (m a b) (m a b) infixr 1 Source #
(-------->) :: m (m a b) (m a b) infixr 2 Source #
(------->) :: m (m a b) (m a b) infixr 3 Source #
(------>) :: m (m a b) (m a b) infixr 4 Source #
(----->) :: m (m a b) (m a b) infixr 5 Source #
(---->) :: m (m a b) (m a b) infixr 6 Source #