HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.TypeEqGeneric2

Documentation

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

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

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

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

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

Instances TypeEq'' () x y HFalse TypeEq'' () x y HFalse

Produced by Haddock version 2.4.2