tuple-hlist-0.1.0.2: Functions to convert between tuples and HLists.

Safe HaskellNone

Data.Tuple.HList

Documentation

class HLst a b | a -> b whereSource

Methods

toHList :: a -> bSource

fromHList :: b -> aSource

Instances

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)))))))))))))))