Pandora.Pattern.Kernel
class Category m => Kernel m where Source #
When providing a new instance, you should ensure it satisfies: * Left zero morphism: constant . f ≡ constant . g * Most general morphism: f . k = constant
Methods
constant :: m a (m i a) Source #
Defined in Pandora.Paradigm.Primary.Algebraic.Exponential
constant :: a -> (i -> a) Source #