concat-satisfy-0.1.0.0: GHC plugin for forcing constraint satisfaction
Copyright(c) 2016 Conal Elliott
LicenseBSD3
Maintainerconal@conal.net
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.BuildDictionary

Description

Adaptation of HERMIT's buildDictionaryT

Documentation

buildDictionary :: HscEnv -> DynFlags -> ModGuts -> UniqSupply -> InScopeEnv -> Type -> CoreExpr -> Type -> IO (Either SDoc CoreExpr) Source #

data WithType Source #

Instances

Instances details
Outputable WithType Source # 
Instance details

Defined in ConCat.BuildDictionary

Methods

ppr :: WithType -> SDoc Source #

withType :: CoreExpr -> WithType Source #

withExplicitType :: CoreExpr -> Type -> WithType Source #

varWithType :: Var -> WithType Source #

uniqSetToList :: UniqSet a -> [a] Source #

annotateEvidence :: Id -> Id -> Int -> CoreBind -> CoreM CoreBind Source #