Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- modExports :: Ord name => ModuleG mname name -> ExportSpec name
- exportedNames :: Ord name => TopDecl name -> [ExportSpec name]
- names :: (a -> ([Located a'], b)) -> TopLevel a -> [TopLevel a']
- newtype ExportSpec name = ExportSpec (Map Namespace (Set name))
- exportName :: Ord name => Namespace -> TopLevel name -> ExportSpec name
- exported :: Namespace -> ExportSpec name -> Set name
- exportBind :: Ord name => TopLevel name -> ExportSpec name
- exportType :: Ord name => TopLevel name -> ExportSpec name
- isExported :: Ord name => Namespace -> name -> ExportSpec name -> Bool
- isExportedBind :: Ord name => name -> ExportSpec name -> Bool
- isExportedType :: Ord name => name -> ExportSpec name -> Bool
Documentation
modExports :: Ord name => ModuleG mname name -> ExportSpec name Source #
exportedNames :: Ord name => TopDecl name -> [ExportSpec name] Source #
newtype ExportSpec name Source #
ExportSpec (Map Namespace (Set name)) |
Instances
exportName :: Ord name => Namespace -> TopLevel name -> ExportSpec name Source #
exportBind :: Ord name => TopLevel name -> ExportSpec name Source #
Add a binding name to the export list, if it should be exported.
exportType :: Ord name => TopLevel name -> ExportSpec name Source #
Add a type synonym name to the export list, if it should be exported.
isExported :: Ord name => Namespace -> name -> ExportSpec name -> Bool Source #
isExportedBind :: Ord name => name -> ExportSpec name -> Bool Source #
Check to see if a binding is exported.
isExportedType :: Ord name => name -> ExportSpec name -> Bool Source #
Check to see if a type synonym is exported.