Pandora.Pattern.Kernel

Documentation

class Category m => Kernel m where

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)

Instances

Kernel ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

constant :: a -> (i -> a)