Data.Tuple.Extra

Documentation

class TupleCons b where

Associated Types

type a :| b :: *

Methods

(|:|) :: a -> b -> a :| b

split :: (a :| b) -> (a, b)

Instances

TupleCons (Tuple1 a)

TupleCons (a, a)

TupleCons (a, a, a)

TupleCons (a, a, a, a)

TupleCons (a, a, a, a, a)

TupleCons (a, a, a, a, a, a)

TupleCons (a, a, a, a, a, a, a)

TupleCons (a, a, a, a, a, a, a, a)

TupleCons (a, a, a, a, a, a, a, a, a)

newtype Tuple1 a

Constructors

Tuple1 a

Instances

Eq a => Eq (Tuple1 a)

Ord a => Ord (Tuple1 a)

Show a => Show (Tuple1 a)

TupleCons (Tuple1 a)

type b :| (Tuple1 a) = (b, a)