OneTuple-0.2.1: Singleton Tuple

Data.Tuple.OneTuple

Description

OneTuple fills the tuple gap with a singleton tuple.

OneTuple does not support the usual parenthesized tuple syntax.

OneTuple

  • has the expected laziness properties
  • can be pattern-matched
  • ships with instances for several standard type classes, including all those supported by H98-standard tuples
  • requires no language extensions, except for hierarchical modules

Synopsis

Documentation

data OneTuple a Source

OneTuple is the singleton tuple data type.

Constructors

OneTuple a

singleton tuple constructor

onlySource

Arguments

:: OneTuple a

takes a singleton tuple argument

-> a

returns the only element in the tuple

The only function extracts the OneTuple's only member. (Compare to fst and snd.)