type-equality-check-0.0.0.4: Type equality check

Safe HaskellNone
LanguageHaskell98

Data.TypeEq

Documentation

class TypeEq type1 type2 result | type1 type2 -> result where Source #

Minimal complete definition

typeEq

Methods

typeEq :: type1 -> type2 -> result Source #

Instances

TypeCast False result => TypeEq type1 type2 result Source # 

Methods

typeEq :: type1 -> type2 -> result Source #

TypeEq soleType soleType True Source # 

Methods

typeEq :: soleType -> soleType -> True Source #

typeEq :: TypeEq type1 type2 result => type1 -> type2 -> result Source #