typelevel-rewrite-rules-0.1: 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
Eq TypeEq Source # 
Instance details

Defined in TypeLevel.Rewrite.Internal.TypeEq

Methods

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

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