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