Safe Haskell | None |
---|
This module contains overloaded functions for creating an HList from a tuple or a tuple from an HList.
Documentation
class HLst a b | a -> b, b -> a whereSource
Creates an HList from a tuple.
Creates a tuple from an HList.
HLst (OneTuple a1) (:*: a1 HNil) | |
HLst (a1, a2) (:*: a1 (:*: a2 HNil)) | |
HLst (a1, a2, a3) (:*: a1 (:*: a2 (:*: a3 HNil))) | |
HLst (a1, a2, a3, a4) (:*: a1 (:*: a2 (:*: a3 (:*: a4 HNil)))) | |
HLst (a1, a2, a3, a4, a5) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 HNil))))) | |
HLst (a1, a2, a3, a4, a5, a6) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 HNil)))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 HNil))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 HNil)))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 HNil))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 HNil)))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 (:*: a11 HNil))))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 (:*: a11 (:*: a12 HNil)))))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 (:*: a11 (:*: a12 (:*: a13 HNil))))))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 (:*: a11 (:*: a12 (:*: a13 (:*: a14 HNil)))))))))))))) | |
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (:*: a1 (:*: a2 (:*: a3 (:*: a4 (:*: a5 (:*: a6 (:*: a7 (:*: a8 (:*: a9 (:*: a10 (:*: a11 (:*: a12 (:*: a13 (:*: a14 (:*: a15 HNil))))))))))))))) |