Language.Syntactic.Features.Tuple

Construction and selection of tuples

Documentation

data Tuple a where

Expressions for constructing tuples

Constructors

Tup2 :: Tuple (a :-> (b :-> Full (a, b)))

Tup3 :: Tuple (a :-> (b :-> (c :-> Full (a, b, c))))

Tup4 :: Tuple (a :-> (b :-> (c :-> (d :-> Full (a, b, c, d)))))

Tup5 :: Tuple (a :-> (b :-> (c :-> (d :-> (e :-> Full (a, b, c, d, e))))))

Tup6 :: Tuple (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> Full (a, b, c, d, e, f)))))))

Tup7 :: Tuple (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> Full (a, b, c, d, e, f, g))))))))

Instances

ExprEq Tuple

ToTree Tuple

Render Tuple

Eval Tuple

ExprHash Tuple

IsFunction Tuple

data Select a where

Expressions for selecting elements of a tuple

Constructors

Sel1 :: Sel1 a b => Select (a :-> Full b)

Sel2 :: Sel2 a b => Select (a :-> Full b)

Sel3 :: Sel3 a b => Select (a :-> Full b)

Sel4 :: Sel4 a b => Select (a :-> Full b)

Sel5 :: Sel5 a b => Select (a :-> Full b)

Sel6 :: Sel6 a b => Select (a :-> Full b)

Sel7 :: Sel7 a b => Select (a :-> Full b)

Instances

ExprEq Select

ToTree Select

Render Select

Eval Select

ExprHash Select

IsFunction Select

selectPos :: Select a -> Int

Return the selected position, e.g.

 selectPos (Sel3 :: Select ((Int,Int,Int,Int) -> Int)) = 3