Data.Category.Unit

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

Documentation

data UnitO

The one object of 1.

Constructors

UnitO

Instances

CategoryO Unit UnitO

Apply Unit UnitO UnitO

CategoryA Unit UnitO UnitO UnitO

data family Unit a b :: *

The arrows of Unit.