| Copyright | (c) 2017 Finn Teegen |
|---|---|
| License | BSD-3-clause |
| Maintainer | fte@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Transformations.Newtypes
Description
After inserting dictionaries, the compiler removes all occurences of
newtype declarations. Applications 'N x' in patterns and expressions,
where N is a newtype constructor, are replaced by a x. The newtype
declarations are replaced by type synonyms and partial applications of
newtype constructors are changed into calls to id.