| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
ReWire.HSE.Exports
Description
Export-list resolution on the HSE AST, used by the embedder (Embedder.HSE.ToAtmo).
Synopsis
- data Export
- = Export FQName
- | ExportWith FQName (Set FQName) FQCtorSigs
- | ExportAll FQName
- | ExportMod (ModuleName ())
- | ExportFixity (Assoc ()) Int (Name ())
- sDeclHead :: DeclHead a -> (Name (), [TyVarBind ()])
- exportAll :: QNamish a => Renamer -> a -> Export
- getExportFixities :: [Decl Annote] -> [Export]
- transExport :: MonadError AstError m => Renamer -> [Decl Annote] -> [Export] -> ExportSpec Annote -> m [Export]
- tysynNames :: [Decl Annote] -> [Name ()]
- getTypeExports :: Renamer -> [Decl Annote] -> [Export]
- resolveExports :: Renamer -> [Export] -> Exports
- getInlines :: (Bool -> a) -> [Decl Annote] -> Map (Name ()) a
Documentation
An intermediate form for exports. TODO(chathhorn): get rid of it.
Constructors
| Export FQName | |
| ExportWith FQName (Set FQName) FQCtorSigs | ExportWith: Type name, ctors |
| ExportAll FQName | |
| ExportMod (ModuleName ()) | |
| ExportFixity (Assoc ()) Int (Name ()) |
getExportFixities :: [Decl Annote] -> [Export] Source #
transExport :: MonadError AstError m => Renamer -> [Decl Annote] -> [Export] -> ExportSpec Annote -> m [Export] Source #
tysynNames :: [Decl Annote] -> [Name ()] Source #