category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Category.Discrete
Portability
portable
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
data
Discrete
a b
where
Source
Constructors
Refl
::
Discrete
a a
Instances
Category
Discrete
mapDiscrete
::
Discrete
a b ->
Discrete
(f a) (f b)
Source
cast
::
Discrete
a b -> a -> b
Source
invDiscrete
::
Discrete
a b ->
Discrete
b a
Source
Produced by
Haddock
version 2.4.2