concat-plugin-0.3.0.0: GHC plugin for compiling to categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.NormaliseType

Description

Utility functions for normalising, comparing types modulo type families.

Synopsis

Documentation

eqTypeM :: HscEnv -> DynFlags -> ModGuts -> Type -> Type -> IO (Maybe (Type, Type)) Source #

Compare two types after first normalising out type families. Returns Nothing when they are equal, and Just of the two normalised types if not.