ghc-corroborate-1.0.0: An flatter API for GHC typechecker plugins

Safe Haskell	None
Language	Haskell2010

GHC.Corroborate.Shim

Synopsis

tyVarsOfType :: Type -> TyCoVarSet
tyVarsOfTypes :: [Type] -> TyCoVarSet
promoteTyCon :: TyCon -> TyCon
mkEqPred :: Type -> Type -> Type
mkHEqPred :: Type -> Type -> Type
mkFunnyEqEvidence :: String -> Type -> Type -> Type -> EvTerm

Documentation

tyVarsOfType :: Type -> TyCoVarSet Source #

tyVarsOfTypes :: [Type] -> TyCoVarSet Source #

promoteTyCon :: TyCon -> TyCon Source #

mkEqPred :: Type -> Type -> Type Source #

mkHEqPred :: Type -> Type -> Type Source #

mkFunnyEqEvidence :: String -> Type -> Type -> Type -> EvTerm Source #

Make up evidence for a fake equality constraint t1 ~~ t2 by coercing bogus evidence of type t1 ~ t2 (or its heterogeneous variant, in GHC 8.0).