category-extras-0.53.4: 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

mapDiscrete :: Discrete a b -> Discrete (f a) (f b)Source

cast :: Discrete a b -> a -> bSource

invDiscrete :: Discrete a b -> Discrete b aSource