Data.HList.TypeEqGeneric2

Documentation

typeEq :: TypeEq t t' b => t -> t' -> b

class TypeEq' () x y b => TypeEq x y b | x y -> b

Instances

TypeEq' () x y b => TypeEq x y b

class TypeEq' q x y b | q x y -> b

Instances

TypeCast b HTrue => TypeEq' () x x b

TypeEq'' q x y b => TypeEq' q x y b

class TypeEq'' q x y b | q x y -> b

Instances

TypeEq'' () x y HFalse