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.