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

Safe HaskellNone
LanguageHaskell98

Data.Tuple.HList

Description

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 where Source

Methods

toHList :: a -> b Source

Creates an HList from a tuple.

fromHList :: b -> a Source

Creates a tuple from an HList.

Instances

HLst (OneTuple a1) (HList ((:) * a1 ([] *))) 
HLst (a1, a2) (HList ((:) * a1 ((:) * a2 ([] *)))) 
HLst (a1, a2, a3) (HList ((:) * a1 ((:) * a2 ((:) * a3 ([] *))))) 
HLst (a1, a2, a3, a4) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ([] *)))))) 
HLst (a1, a2, a3, a4, a5) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ([] *))))))) 
HLst (a1, a2, a3, a4, a5, a6) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ([] *)))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ([] *))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ([] *)))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ([] *))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ([] *)))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ([] *))))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ((:) * a12 ([] *)))))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ((:) * a12 ((:) * a13 ([] *))))))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ((:) * a12 ((:) * a13 ((:) * a14 ([] *)))))))))))))))) 
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ((:) * a12 ((:) * a13 ((:) * a14 ((:) * a15 ([] *)))))))))))))))))