pandora-0.4.9: Pandora/Pattern/Kernel.hs

module Pandora.Pattern.Kernel (Kernel (..)) where

import Pandora.Pattern.Semigroupoid (Semigroupoid ((.)))
import Pandora.Pattern.Category (Category (identity))

{- |
> When providing a new instance, you should ensure it satisfies:
> * Left zero morphism: constant . f ≡ constant . g
> * Most general morphism: f . k = constant
-}

class Category m => Kernel m where
	constant :: m a (m i a)