Cryptol.ModuleSystem.NamingEnv

Documentation

newtype NamingEnv

The NamingEnv is used by the renamer to determine what identifiers refer to.

Constructors

NamingEnv (Map Namespace (Map PName Names))

Instances

Monoid NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

mempty :: NamingEnv

mappend :: NamingEnv -> NamingEnv -> NamingEnv

mconcat :: [NamingEnv] -> NamingEnv

Semigroup NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

(<>) :: NamingEnv -> NamingEnv -> NamingEnv

sconcat :: NonEmpty NamingEnv -> NamingEnv

stimes :: Integral b => b -> NamingEnv -> NamingEnv

Generic NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Associated Types

type Rep NamingEnv :: Type -> Type

Methods

from :: NamingEnv -> Rep NamingEnv x

to :: Rep NamingEnv x -> NamingEnv

Show NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

showsPrec :: Int -> NamingEnv -> ShowS

show :: NamingEnv -> String

showList :: [NamingEnv] -> ShowS

BindsNames NamingEnv

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: NamingEnv -> BuildNamingEnv

PP NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

ppPrec :: Int -> NamingEnv -> Doc

NFData NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

rnf :: NamingEnv -> ()

type Rep NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

type Rep NamingEnv = D1 ('MetaData "NamingEnv" "Cryptol.ModuleSystem.NamingEnv" "cryptol-3.0.0-CoAB0rhRDtyEduZtDlyHHM" 'True) (C1 ('MetaCons "NamingEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Namespace (Map PName Names)))))

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.

without :: NamingEnv -> NamingEnv -> NamingEnv

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

namingEnvNames :: NamingEnv -> Set Name

All names mentioned in the environment

namingEnvFromNames :: Set Name -> NamingEnv

Get a unqualified naming environment for the given names

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

Get the names in a given namespace

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

Resolve a name in the 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

filterUNames :: (Name -> 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.

shadowing :: NamingEnv -> NamingEnv -> NamingEnv

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

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

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

isEmptyNamingEnv :: NamingEnv -> Bool

modParamsNamingEnv :: 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.

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.