Language.Haskell.TH.Desugar.Expand

Expands type synonyms in desugared types, ignoring type families. See also the package th-expand-syns for doing this to non-desugared types.

Documentation

expand :: (Quasi q, Data a) => a -> q a

Expand all type synonyms in the desugared abstract syntax tree provided. Normally, the first parameter should have a type like DExp or DLetDec.

expandType :: Quasi q => DType -> q DType

Expands all type synonyms in a desugared type.

substTy :: Quasi q => Map Name DType -> DType -> q DType

Capture-avoiding substitution on types