data-category-0.2.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Unit

Description

1, The singleton category with just one object with only its identity arrow.

Synopsis

Documentation

data UnitO Source

data Unit a b whereSource

The arrows of Unit.

Constructors

UnitId :: Unit UnitO UnitO 

Instances