Data.Unit

This module is used to express the fact that any tuple which is composed only from empty tuples holds the same amount of information as an empty tuple.

Documentation

class Unit t where

The unit class expresses the fact that all tuples composed from only empty tuples hold the same amount of information as the empty tuple and can thus all be constructed by a call to unit.

Methods

unit :: t

Constructs a unit type

Instances

Unit ()

(Unit a, Unit b) => Unit (a, b)

(Unit a, Unit b, Unit c) => Unit (a, b, c)

(Unit a, Unit b, Unit c, Unit d) => Unit (a, b, c, d)

(Unit a, Unit b, Unit c, Unit d, Unit e) => Unit (a, b, c, d, e)

(Unit a, Unit b, Unit c, Unit d, Unit e, Unit f) => Unit (a, b, c, d, e, f)