category-extras-0.53.3: Various modules and constructs inspired by category theory
Control.Category.Discrete
Description
data Discrete a b whereSource
Constructors
Instances