HList-0.1.1: 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