Data.Tuple.Ops

This module exports various operations on n-ary tuples

Documentation

module Data.Tuple.Ops.Uncons

Orphan instances

Generic Char

Associated Types

type Rep Char :: * -> *

Methods

from :: Char -> Rep Char x

to :: Rep Char x -> Char

Generic Double

Associated Types

type Rep Double :: * -> *

Methods

from :: Double -> Rep Double x

to :: Rep Double x -> Double

Generic Float

Associated Types

type Rep Float :: * -> *

Methods

from :: Float -> Rep Float x

to :: Rep Float x -> Float

Generic Int

Associated Types

type Rep Int :: * -> *

Methods

from :: Int -> Rep Int x

to :: Rep Int x -> Int

Generic Word

Associated Types

type Rep Word :: * -> *

Methods

from :: Word -> Rep Word x

to :: Rep Word x -> Word

Generic (a, b, c, d, e, f, g, h)

Associated Types

type Rep (a, b, c, d, e, f, g, h) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x

to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h)

Generic (a, b, c, d, e, f, g, h, i)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i) x

to :: Rep (a, b, c, d, e, f, g, h, i) x -> (a, b, c, d, e, f, g, h, i)

Generic (a, b, c, d, e, f, g, h, i, j)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j) -> Rep (a, b, c, d, e, f, g, h, i, j) x

to :: Rep (a, b, c, d, e, f, g, h, i, j) x -> (a, b, c, d, e, f, g, h, i, j)

Generic (a, b, c, d, e, f, g, h, i, j, k)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k) -> Rep (a, b, c, d, e, f, g, h, i, j, k) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k) x -> (a, b, c, d, e, f, g, h, i, j, k)

Generic (a, b, c, d, e, f, g, h, i, j, k, l)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l) x -> (a, b, c, d, e, f, g, h, i, j, k, l)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: * -> *

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)