Data.HList.TypeEqO

The HList library

(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke

Generic type equality predicate: The implementation based on overlapping instances The only place where overlapping instances are really used

Documentation

class TupleType t b | t -> b

Instances

TupleType * () True

~ Bool False b => TupleType k x b

TupleType * (x, y) True

TupleType * (x, y, z) True