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

TypeLevel.Rewrite.Internal.TypeNode

Documentation

data TypeNode Source #

Constructors

TyCon TyCon 
TyLit TypeEq 

Instances

Instances details
Eq TypeNode Source # 
Instance details

Defined in TypeLevel.Rewrite.Internal.TypeNode

Methods

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

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

toTypeNodeApp_maybe :: Type -> Maybe (TypeNode, [Type]) Source #

fromTypeNode :: TypeNode -> [Type] -> Type Source #