Safe Haskell | None |
---|---|
Language | Haskell2010 |
Construction and elimination of tuples
- class Select1 tup where
- class Select2 tup where
- class Select3 tup where
- class Select4 tup where
- data Tuple sig where
- 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)))))
- Sel1 :: Select1 tup => Tuple (tup :-> Full (Sel1 tup))
- Sel2 :: Select2 tup => Tuple (tup :-> Full (Sel2 tup))
- Sel3 :: Select3 tup => Tuple (tup :-> Full (Sel3 tup))
- Sel4 :: Select4 tup => Tuple (tup :-> Full (Sel4 tup))
Generic tuple projection
Symbols
Construction and elimination of tuples
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))))) | |
Sel1 :: Select1 tup => Tuple (tup :-> Full (Sel1 tup)) | |
Sel2 :: Select2 tup => Tuple (tup :-> Full (Sel2 tup)) | |
Sel3 :: Select3 tup => Tuple (tup :-> Full (Sel3 tup)) | |
Sel4 :: Select4 tup => Tuple (tup :-> Full (Sel4 tup)) |