HList-0.2.3: Heterogeneous lists

Data.HList.TypeEqGeneric2

Description

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' -> bSource

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

Instances

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

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

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 -> bSource

Instances

TypeEq'' () x y HFalse