Searched refs:DefProblem (Results 1 – 2 of 2) sorted by relevance
7 , DefProblem(..)32 | DefProblems (NE.List DefProblem)50 data DefProblem type219 toDefProblemReport :: Code.Source -> DefProblem -> Report.Report
490 checkExport :: Info -> Name.Name -> A.Located Can.Export -> Result.Result i w E.DefProblem (Module …531 getComment :: A.Region -> Name.Name -> Info -> Result.Result i w E.DefProblem Comment541 getType :: Name.Name -> Info -> Result.Result i w E.DefProblem Type.Type