Pandora.Pattern.Category

Documentation

class Category (m :: * -> * -> *) where

Minimal complete definition

identity, (.)

Methods

identity :: m a a

(.) :: m b c -> m a b -> m a c infixr 8

($) :: m ~~> m infixr 0

(/) :: m ~~> m infixl 1

Instances

Category (Flip ((->) :: Type -> Type -> Type))

Defined in Pandora.Paradigm.Primary

Methods

identity :: Flip (->) a a

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

($) :: Flip (->) ~~> Flip (->)

(/) :: Flip (->) ~~> Flip (->)

Category ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Function

Methods

identity :: a -> a

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

($) :: (->) ~~> (->)

(/) :: (->) ~~> (->)