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