Safe Haskell	None
Language	Haskell98

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 ([] *)))))))))))))))))