Cryptol.ModuleSystem.Exports

Documentation

modExports :: Ord name => Module name -> ExportSpec name

data ExportSpec name

Constructors

ExportSpec

Fields

• eTypes :: Set name
• eBinds :: Set name

Instances

Show name => Show (ExportSpec name)

Defined in Cryptol.ModuleSystem.Exports

Methods

showsPrec :: Int -> ExportSpec name -> ShowS

show :: ExportSpec name -> String

showList :: [ExportSpec name] -> ShowS

Generic (ExportSpec name)

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)

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)

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)

Defined in Cryptol.ModuleSystem.Exports

Methods

rnf :: ExportSpec name -> ()

type Rep (ExportSpec name)

Defined in Cryptol.ModuleSystem.Exports

type Rep (ExportSpec name) = D1 (MetaData "ExportSpec" "Cryptol.ModuleSystem.Exports" "cryptol-2.7.0-6VD9sMh08R1JPrYSq7DH8b" 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

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

exportType :: Ord name => TopLevel name -> ExportSpec name

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

isExportedBind :: Ord name => name -> ExportSpec name -> Bool

Check to see if a binding is exported.

isExportedType :: Ord name => name -> ExportSpec name -> Bool

Check to see if a type synonym is exported.