Data.Tuple.Single

A class for 1-tuples.

Documentation

class Single t where

Methods

wrap :: a -> t a

unwrap :: t a -> a

Instances

Single Unit

Defined in Data.Tuple.Single

Methods

wrap :: a -> Unit a

unwrap :: Unit a -> a

Single OneTuple

Defined in Data.Tuple.Single

Methods

wrap :: a -> OneTuple a

unwrap :: OneTuple a -> a

Single Only

Defined in Data.Tuple.Single

Methods

wrap :: a -> Only a

unwrap :: Only a -> a

Single Identity

Defined in Data.Tuple.Single

Methods

wrap :: a -> Identity a

unwrap :: Identity a -> a

pattern Single :: Single t => a -> t a