Fay.Compiler.Desugar

Desugars a reasonable amount of syntax to reduce duplication in code generation.

Documentation

desugar :: (Data l, Typeable l) => l -> Module l -> IO (Either CompileError (Module l))

Top level, desugar a whole module possibly returning errors

desugar' :: (Data l, Typeable l) => String -> l -> Module l -> IO (Either CompileError (Module l))

Desugar with the option to specify a prefix for generated names. Useful if you want to provide valid haskell name that HSE can print.

desugarExpParen :: (Data l, Typeable l) => Module l -> Module l

(a) => a for patterns

desugarPatParen :: (Data l, Typeable l) => Module l -> Module l