Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Equality.Graph.Classes.Id
Description
Type synonyms for e-class ids.
Synopsis
- type ClassId = Int
- type ClassIdMap = IntMap
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Equality.Graph.Classes.Id
Description
Type synonyms for e-class ids.