syntactic-3.7: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

Data.NestTuple

Description

Conversion between tuples and nested pairs

Synopsis

Documentation

class Nestable tup where Source #

Tuples that can be converted to/from nested pairs

Minimal complete definition

nest, unnest

Associated Types

type Nested tup Source #

Representation as nested pairs

Methods

nest :: tup -> Nested tup Source #

Convert to nested pairs

unnest :: Nested tup -> tup Source #

Convert from nested pairs

Instances

Nestable (a, b) Source # 

Associated Types

type Nested (a, b) :: * Source #

Methods

nest :: (a, b) -> Nested (a, b) Source #

unnest :: Nested (a, b) -> (a, b) Source #

Nestable (a, b, c) Source # 

Associated Types

type Nested (a, b, c) :: * Source #

Methods

nest :: (a, b, c) -> Nested (a, b, c) Source #

unnest :: Nested (a, b, c) -> (a, b, c) Source #

Nestable (a, b, c, d) Source # 

Associated Types

type Nested (a, b, c, d) :: * Source #

Methods

nest :: (a, b, c, d) -> Nested (a, b, c, d) Source #

unnest :: Nested (a, b, c, d) -> (a, b, c, d) Source #

Nestable (a, b, c, d, e) Source # 

Associated Types

type Nested (a, b, c, d, e) :: * Source #

Methods

nest :: (a, b, c, d, e) -> Nested (a, b, c, d, e) Source #

unnest :: Nested (a, b, c, d, e) -> (a, b, c, d, e) Source #

Nestable (a, b, c, d, e, f) Source # 

Associated Types

type Nested (a, b, c, d, e, f) :: * Source #

Methods

nest :: (a, b, c, d, e, f) -> Nested (a, b, c, d, e, f) Source #

unnest :: Nested (a, b, c, d, e, f) -> (a, b, c, d, e, f) Source #

Nestable (a, b, c, d, e, f, g) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g) -> Nested (a, b, c, d, e, f, g) Source #

unnest :: Nested (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Source #

Nestable (a, b, c, d, e, f, g, h) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g, h) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h) -> Nested (a, b, c, d, e, f, g, h) Source #

unnest :: Nested (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) Source #

Nestable (a, b, c, d, e, f, g, h, i) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g, h, i) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i) -> Nested (a, b, c, d, e, f, g, h, i) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) Source #

Nestable (a, b, c, d, e, f, g, h, i, j) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j) -> Nested (a, b, c, d, e, f, g, h, i, j) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) Source #

Nestable (a, b, c, d, e, f, g, h, i, j, k) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j, k) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j, k) -> Nested (a, b, c, d, e, f, g, h, i, j, k) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) Source #

Nestable (a, b, c, d, e, f, g, h, i, j, k, l) Source # 

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j, k, l) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Nested (a, b, c, d, e, f, g, h, i, j, k, l) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) Source #

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

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j, k, l, m) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Nested (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

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

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

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

Associated Types

type Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: * Source #

Methods

nest :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

unnest :: Nested (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #