Safe Haskell	Safe
Language	Haskell2010

Cryptol.ModuleSystem.Exports

Synopsis

exportedDecls :: Ord name => [TopDecl name] -> ExportSpec name
exportedNames :: Ord name => TopDecl name -> [ExportSpec name]
newtype ExportSpec name = ExportSpec (Map Namespace (Set name))
exportName :: Ord name => Namespace -> TopLevel name -> ExportSpec name
allExported :: Ord name => ExportSpec name -> Set name
exported :: Namespace -> ExportSpec name -> Set name
exportBind :: Ord name => TopLevel name -> ExportSpec name
exportCon :: 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

exportedDecls :: Ord name => [TopDecl name] -> ExportSpec name Source #

exportedNames :: Ord name => TopDecl name -> [ExportSpec name] Source #

newtype ExportSpec name Source #

Constructors

ExportSpec (Map Namespace (Set name))

Instances

Instances details

Ord name => Monoid (ExportSpec name) Source #
Instance details Defined in Cryptol.ModuleSystem.Exports Methods mempty :: ExportSpec name # mappend :: ExportSpec name -> ExportSpec name -> ExportSpec name # mconcat :: [ExportSpec name] -> ExportSpec name #
Ord name => Semigroup (ExportSpec name) Source #
Instance details 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 #
Generic (ExportSpec name) Source #
Instance details 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 #
Show name => Show (ExportSpec name) Source #
Instance details Defined in Cryptol.ModuleSystem.Exports Methods showsPrec :: Int -> ExportSpec name -> ShowS # show :: ExportSpec name -> String # showList :: [ExportSpec name] -> ShowS #
(Ord a, TraverseNames a) => TraverseNames (ExportSpec a) Source #
Instance details Defined in Cryptol.IR.TraverseNames Methods traverseNamesIP :: (Applicative f, ?name :: Name -> f Name) => ExportSpec a -> f (ExportSpec a) Source #
NFData name => NFData (ExportSpec name) Source #
Instance details Defined in Cryptol.ModuleSystem.Exports Methods rnf :: ExportSpec name -> () #
type Rep (ExportSpec name) Source #
Instance details Defined in Cryptol.ModuleSystem.Exports type Rep (ExportSpec name) = D1 ('MetaData "ExportSpec" "Cryptol.ModuleSystem.Exports" "cryptol-3.3.0-7OIQa8lMv7L2xoAlM9JEI6" 'True) (C1 ('MetaCons "ExportSpec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Namespace (Set name)))))

exportName :: Ord name => Namespace -> TopLevel name -> ExportSpec name Source #

allExported :: Ord name => ExportSpec name -> Set name Source #

exported :: Namespace -> ExportSpec name -> Set name Source #

exportBind :: Ord name => TopLevel name -> ExportSpec name Source #

Add a binding name to the export list, if it should be exported.

exportCon :: Ord name => TopLevel name -> ExportSpec name Source #

Add a constructor 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.