Cryptol.ModuleSystem.NamingEnv

Documentation

module Cryptol.ModuleSystem.NamingEnv.Types

without :: NamingEnv -> NamingEnv -> NamingEnv

Keep only the bindings in the 1st environment that are *NOT* in the second.

zipByTextName :: NamingEnv -> NamingEnv -> Map Name Name

This "joins" two naming environments by matching the text name. The result maps the unique names from the first environment with the matching names in the second. This is used to compute the naming for an instantiated functor: * if the left environment has the defined names of the functor, and * the right one has the defined names of the instantiation, then * the result maps functor names to instance names.

shadowing :: NamingEnv -> NamingEnv -> NamingEnv

Like mappend, but when merging, prefer values on the lhs.

lookupNS :: Namespace -> PName -> NamingEnv -> Maybe Names

Resolve a name in the given namespace.

travNamingEnv :: Applicative f => (Name -> f Name) -> NamingEnv -> f NamingEnv

interpImportEnv

Arguments

:: ImportG name

The import declarations

-> NamingEnv

All public things coming in

-> NamingEnv

Adapt the things exported by something to the specific import/open.

filterUNames :: (Name -> Bool) -> NamingEnv -> NamingEnv

modParamNamingEnv :: ModParam -> NamingEnv

Compute a naming environment from a module parameter, qualifying it according to mpQual.

mapNamingEnv :: (Name -> Name) -> NamingEnv -> NamingEnv

namingEnvNames :: NamingEnv -> Set Name

All names mentioned in the environment

namingEnvFromNames :: Set Name -> NamingEnv

Get a naming environment for the given names. The PNames correspond to the definition sites of the corresponding Names, so typically they will be unqualified. The exception is for names that comre from parameters, which are qualified with the relevant parameter.

namespaceMap :: Namespace -> NamingEnv -> Map PName Names

Get the names in a given namespace

lookupListNS :: Namespace -> PName -> NamingEnv -> [Name]

Resolve a name in the given namespace.

singletonNS :: Namespace -> PName -> Name -> NamingEnv

Singleton renaming environment for the given namespace.

toPrimMap :: NamingEnv -> PrimMap

Generate a mapping from PrimIdent to Name for a given naming environment.

toNameDisp :: NamingEnv -> NameDisp

Generate a display format based on a naming environment.

visibleNames :: NamingEnv -> Map Namespace (Set Name)

Produce sets of visible names for types and declarations.

NOTE: if entries in the NamingEnv would have produced a name clash, they will be omitted from the resulting sets.

qualify :: ModName -> NamingEnv -> NamingEnv

Qualify all symbols in a NamingEnv with the given prefix.

filterPNames :: (PName -> Bool) -> NamingEnv -> NamingEnv

findAmbig :: NamingEnv -> [[Name]]

Find the ambiguous entries in an environmet. A name is ambiguous if it might refer to multiple entities.

findShadowing :: NamingEnv -> NamingEnv -> [(PName, Name, [Name])]

Get the subset of the first environment that shadows something in the second one.

forceUnambig :: NamingEnv -> NamingEnv

Do an arbitrary choice for ambiguous names. We do this to continue checking afetr we've reported an ambiguity error.

isEmptyNamingEnv :: NamingEnv -> Bool

modParamNamesNamingEnv :: ModParamNames -> NamingEnv

Compute an unqualified naming environment, containing the various module parameters.

unqualifiedEnv :: IfaceDecls -> NamingEnv

Generate a naming environment from a declaration interface, where none of the names are qualified.