Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Cryptol.ModuleSystem.Exports
Synopsis
- modExports :: Ord name => Module name -> ExportSpec name
- data ExportSpec name = ExportSpec {}
- exportBind :: Ord name => TopLevel name -> ExportSpec name
- exportType :: Ord name => TopLevel name -> ExportSpec name
- isExportedBind :: Ord name => name -> ExportSpec name -> Bool
- isExportedType :: Ord name => name -> ExportSpec name -> Bool
Documentation
modExports :: Ord name => Module name -> ExportSpec name Source #
data ExportSpec name Source #
Constructors
ExportSpec | |
Instances
Show name => Show (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports Methods showsPrec :: Int -> ExportSpec name -> ShowS show :: ExportSpec name -> String showList :: [ExportSpec name] -> ShowS | |
Generic (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports Associated Types type Rep (ExportSpec name) :: Type -> Type Methods from :: ExportSpec name -> Rep (ExportSpec name) x to :: Rep (ExportSpec name) x -> ExportSpec name | |
Ord name => Semigroup (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports Methods (<>) :: ExportSpec name -> ExportSpec name -> ExportSpec name # sconcat :: NonEmpty (ExportSpec name) -> ExportSpec name # stimes :: Integral b => b -> ExportSpec name -> ExportSpec name # | |
Ord name => Monoid (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports Methods mempty :: ExportSpec name # mappend :: ExportSpec name -> ExportSpec name -> ExportSpec name # mconcat :: [ExportSpec name] -> ExportSpec name # | |
NFData name => NFData (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports Methods rnf :: ExportSpec name -> () | |
type Rep (ExportSpec name) Source # | |
Defined in Cryptol.ModuleSystem.Exports type Rep (ExportSpec name) = D1 ('MetaData "ExportSpec" "Cryptol.ModuleSystem.Exports" "cryptol-2.8.0-8MjdO3NUDs4I9u4d2J06AM" 'False) (C1 ('MetaCons "ExportSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "eTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set name)) :*: S1 ('MetaSel ('Just "eBinds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set name)))) |
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.
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.