Language.Syntactic.Constructs.Tuple

Construction

data Tuple sig

Projection

type family Sel1' a

type family Sel2' a

type family Sel3' a

type family Sel4' a

type family Sel5' a

type family Sel6' a

type family Sel7' a

type family Sel8' a

type family Sel9' a

type family Sel10' a

type family Sel11' a

type family Sel12' a

type family Sel13' a

type family Sel14' a

type family Sel15' a

data Select a

selectPos