category-extras-0.53.5: Various modules and constructs inspired by category theory
Control.Category.Discrete
Description
data Discrete a b whereSource
Constructors
Instances
mapDiscrete :: Discrete a b -> Discrete (f a) (f b)Source
cast :: Discrete a b -> a -> bSource
invDiscrete :: Discrete a b -> Discrete b aSource