typelevel-rewrite-rules-1.0: Solve type equalities using custom type-level rewrite rules
Safe HaskellNone
LanguageHaskell2010

TypeLevel.Rewrite.Internal.TypeEq

Synopsis

Documentation

newtype TypeEq Source #

A newtype around Type which has an Eq instance.

Constructors

TypeEq 

Fields

Instances

Instances details
Eq TypeEq Source # 
Instance details

Defined in TypeLevel.Rewrite.Internal.TypeEq

Methods

(==) :: TypeEq -> TypeEq -> Bool #

(/=) :: TypeEq -> TypeEq -> Bool #