Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Richard Eisenberg (eir@cis.upenn.edu) |
Safe Haskell | None |
Expands type synonyms in desugared types, ignoring type families. See also the package th-expand-syns for doing this to non-desugared types.
Documentation
expandType :: Quasi q => DType -> q DTypeSource
Expands all type synonyms in a desugared type.