category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Category.Discrete
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
data Discrete a b whereSource
Constructors
Refl :: Discrete a a
show/hide Instances
mapDiscrete :: Discrete a b -> Discrete (f a) (f b)Source
cast :: Discrete a b -> a -> bSource
invDiscrete :: Discrete a b -> Discrete b aSource
Produced by Haddock version 2.4.2