rewire-embedder-2.8: A ReWire-to-Isabelle embedder

Safe Haskell	Safe
Language	Haskell2010

Embedder.HSE.ToAtmo

Synopsis

toAtmo :: MonadError AstError m => Renamer -> Module Annote -> m (Module, Exports)

Documentation

toAtmo :: MonadError AstError m => Renamer -> Module Annote -> m (Module, Exports) Source #

Translate a Haskell module into the Atmo abstract syntax. Name Handling: Fresh m, rename returns an FQName which is then T.packaged into an Export