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

Produced by Haddock version 2.3.0