Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

## Synopsis

- type Diff a = a -> a -> [SDoc]
- diffFile :: Diff HieFile
- diffAsts :: (Outputable a, Eq a, Ord a) => Diff a -> Diff (Map HiePath (HieAST a))
- diffAst :: (Outputable a, Eq a, Ord a) => Diff a -> Diff (HieAST a)
- type DiffIdent = Either ModuleName HieName
- normalizeIdents :: Ord a => NodeIdentifiers a -> [(DiffIdent, IdentifierDetails a)]
- diffList :: Diff a -> Diff [a]
- eqDiff :: (Outputable a, Eq a) => Diff a
- validAst :: HieAST a -> Either SDoc ()
- validateScopes :: Module -> Map HiePath (HieAST a) -> [SDoc]

# Documentation

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