HList-0.2.1: Heterogeneous lists
Data.HList.TypeEqGeneric2
typeEq :: TypeEq t t' b => t -> t' -> bSource
class TypeEq' () x y b => TypeEq x y b | x y -> bSource
Instances
class TypeEq' q x y b | q x y -> bSource
class TypeEq'' q x y b | q x y -> bSource