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 a b -> m a b infixr 0

Instances

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

Defined in Pandora.Pattern.Category

Methods

identity :: a -> a

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

($) :: (a -> b) -> a -> b