data-category-0.0.3.1: 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

The one object of 1.

Constructors

UnitO 

Instances

data family Unit a b :: *Source

The arrows of Unit.