Safe Haskell	Safe
Language	Haskell98

Data.Unit

Description

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.

Synopsis

Documentation

class Unit t where Source #

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.

Minimal complete definition

unit

Methods

unit :: t Source #

Constructs a unit type

Instances

Unit () Source #
Methods unit :: () Source #
(Unit a, Unit b) => Unit (a, b) Source #
Methods unit :: (a, b) Source #
(Unit a, Unit b, Unit c) => Unit (a, b, c) Source #
Methods unit :: (a, b, c) Source #
(Unit a, Unit b, Unit c, Unit d) => Unit (a, b, c, d) Source #
Methods unit :: (a, b, c, d) Source #
(Unit a, Unit b, Unit c, Unit d, Unit e) => Unit (a, b, c, d, e) Source #
Methods unit :: (a, b, c, d, e) Source #
(Unit a, Unit b, Unit c, Unit d, Unit e, Unit f) => Unit (a, b, c, d, e, f) Source #
Methods unit :: (a, b, c, d, e, f) Source #