Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ConCat.NormaliseType
Description
Utility functions for normalising, comparing types modulo type families.
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ConCat.NormaliseType
Description
Utility functions for normalising, comparing types modulo type families.