pandora-0.2.3: A box of patterns and paradigms
Pandora.Pattern.Category
class Category (m :: * -> * -> *) where Source #
Methods
identity :: m a a Source #
(.) :: m b c -> m a b -> m a c infixr 8 Source #
Defined in Pandora.Pattern.Category
identity :: a -> a Source #
(.) :: (b -> c) -> (a -> b) -> a -> c Source #