 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Category.Discrete |
|
| Constructors | ||
| ||
 Instances | ||
|
| ||||||||
| ||||||||
| Description | ||||||||
| Documentation | ||||||||
| data Discrete a b where | ||||||||
| ||||||||
| 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 |