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 ([] *))) Source
HLst (a1, a2) (HList ((:) * a1 ((:) * a2 ([] *)))) Source
HLst (a1, a2, a3) (HList ((:) * a1 ((:) * a2 ((:) * a3 ([] *))))) Source
HLst (a1, a2, a3, a4) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ([] *)))))) Source
HLst (a1, a2, a3, a4, a5) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ([] *))))))) Source
HLst (a1, a2, a3, a4, a5, a6) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ([] *)))))))) Source
HLst (a1, a2, a3, a4, a5, a6, a7) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ([] *))))))))) Source
HLst (a1, a2, a3, a4, a5, a6, a7, a8) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ([] *)))))))))) Source
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ([] *))))))))))) Source
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ([] *)))))))))))) Source
HLst (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (HList ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ((:) * a10 ((:) * a11 ([] *))))))))))))) Source
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 ([] *)))))))))))))) Source
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 ([] *))))))))))))))) Source
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 ([] *)))))))))))))))) Source
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 ([] *))))))))))))))))) Source