Portability | portable |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

Category of discrete objects. The only arrows are identity arrows.

liftDiscrete :: Discrete a b -> Discrete (f a) (f b)Source

Discrete a b acts as a proof that a = b, lift that proof into something of kind * -> *