typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules (Index)

typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules

Index

++	TypeLevel.Append
applyRules	TypeLevel.Rewrite.Internal.TypeRule
atomTerm	TypeLevel.Rewrite.Internal.Term
fromTypeTerm	TypeLevel.Rewrite.Internal.TypeTerm
lookupDataCon	TypeLevel.Rewrite.Internal.Lookup
lookupFQN	TypeLevel.Rewrite.Internal.Lookup
lookupModule	TypeLevel.Rewrite.Internal.Lookup
lookupTyCon	TypeLevel.Rewrite.Internal.Lookup
plugin	TypeLevel.Rewrite
pprList	TypeLevel.Rewrite.Internal.PrettyPrint
pprMaybe	TypeLevel.Rewrite.Internal.PrettyPrint
pprReduct	TypeLevel.Rewrite.Internal.PrettyPrint
pprRule	TypeLevel.Rewrite.Internal.PrettyPrint
pprTerm	TypeLevel.Rewrite.Internal.PrettyPrint
pprTyCon	TypeLevel.Rewrite.Internal.PrettyPrint
pprType	TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeEq	TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeReduct	TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeRule	TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeTemplate	TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeTerm	TypeLevel.Rewrite.Internal.PrettyPrint
pprTyVar	TypeLevel.Rewrite.Internal.PrettyPrint
RightAssociative	TypeLevel.Append
RightIdentity	TypeLevel.Append
splitFirstDot	TypeLevel.Rewrite.Internal.Lookup
splitLastDot	TypeLevel.Rewrite.Internal.Lookup
toTypeRule_maybe	TypeLevel.Rewrite.Internal.TypeRule
toTypeTemplate_maybe	TypeLevel.Rewrite.Internal.TypeTemplate
toTypeTerm	TypeLevel.Rewrite.Internal.TypeTerm
TypeEq
1 (Type/Class)	TypeLevel.Rewrite.Internal.TypeEq
2 (Data Constructor)	TypeLevel.Rewrite.Internal.TypeEq
TypeRule	TypeLevel.Rewrite.Internal.TypeRule
TypeTemplate	TypeLevel.Rewrite.Internal.TypeTemplate
TypeTerm	TypeLevel.Rewrite.Internal.TypeTerm
unTypeEq	TypeLevel.Rewrite.Internal.TypeEq