HList-0.2.1: Heterogeneous lists

Data.HList.TypeEqGeneric1

Documentation

class HBool b => TupleType t b | t -> bSource

Instances

TupleType () HTrue 
(HBool b, TypeCast HFalse b) => TupleType x b 
TupleType (x, y) HTrue 
TupleType (x, y, z) HTrue