Data.HList.TypeEqGeneric2

The HList library

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

A generic implementation of a type equality predicate. The given implementation only works for GHC. The specific coding here is only shown for completeness' sake. We actually favour the encoding from Data.Hlist.TypeEqGeneric1 for its conciseness. The specific coding here does not rely on separate compilation (while TypeEqGeneric1.hs does), but on some other tricks.

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