Documentation

ppHies :: Outputable a => HieASTs a -> SDoc Source #

ppHie :: Outputable a => HieAST a -> SDoc Source #

ppInfo :: Outputable a => NodeInfo a -> SDoc Source #

type Diff a = a -> a -> [SDoc] Source #

diffFile :: Diff HieFile Source #

diffAsts :: (Outputable a, Eq a) => Diff a -> Diff (Map FastString (HieAST a)) Source #

diffAst :: (Outputable a, Eq a) => Diff a -> Diff (HieAST a) Source #

type DiffIdent = Either ModuleName HieName Source #

normalizeIdents :: NodeIdentifiers a -> [(DiffIdent, IdentifierDetails a)] Source #

diffList :: Diff a -> Diff [a] Source #

eqDiff :: (Outputable a, Eq a) => Diff a Source #

validAst :: HieAST a -> Either SDoc () Source #

validateScopes :: Map FastString (HieAST a) -> [SDoc] Source #