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

GHC.Corroborate.Evidence

Documentation

evDFunApp' :: DFunId -> [Type] -> [EvExpr] -> EvTerm Source #

evCast' :: EvTerm -> TcCoercion -> EvTerm Source #

terms :: String -> Type -> Type -> [EvExpr] Source #