category-extras-0.52.3: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Category.Discrete

Description

 

Documentation

data Discrete a b whereSource

Constructors

Refl :: Discrete a a 

Instances