Ide.Plugin.Tactic.Context

Documentation

mkContext :: [(OccName, CType)] -> TcGblEnv -> Context

contextMethodHypothesis :: Context -> Map OccName (HyInfo CType)

Find all of the class methods that exist from the givens in the context.

excludeForbiddenMethods :: [(OccName, a)] -> [(OccName, a)]

Many operations are defined in typeclasses for performance reasons, rather than being a true part of the class. This function filters out those, in order to keep our hypothesis space small.

definedThetaType :: Context -> OccName -> Maybe CType

Given the name of a function that exists in ctxDefiningFuncs, get its theta type.

splitId :: Id -> (OccName, CType)

getFunBindId :: HsBindLR GhcTc GhcTc -> [Id]

getCurrentDefinitions :: MonadReader Context m => m [(OccName, CType)]

getModuleHypothesis :: MonadReader Context m => m [(OccName, CType)]