Cryptol.ModuleSystem.NamingEnv

Documentation

data NamingEnv

Constructors

NamingEnv

Fields

neExprs :: Map PName [Name]

Expr renaming environment

neTypes :: Map PName [Name]

Type renaming environment

neFixity :: Map Name Fixity

Expression-level fixity environment

Instances

Show NamingEnv

Generic NamingEnv

Monoid NamingEnv

NFData NamingEnv

BindsNames NamingEnv

type Rep NamingEnv

merge :: [Name] -> [Name] -> [Name]

Merge two name maps, collapsing cases where the entries are the same, and producing conflicts otherwise.

toPrimMap :: NamingEnv -> PrimMap

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

toNameDisp :: NamingEnv -> NameDisp

Generate a display format based on a naming environment.

visibleNames :: NamingEnv -> (Set Name, 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.

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

singletonT :: PName -> Name -> NamingEnv

Singleton type renaming environment.

singletonE :: PName -> Name -> NamingEnv

Singleton expression renaming environment.

shadowing :: NamingEnv -> NamingEnv -> NamingEnv

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

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

data InModule a

Constructors

InModule !ModName a

Instances

Functor InModule

Foldable InModule

Traversable InModule

Show a => Show (InModule a)

BindsNames (InModule (Newtype PName))

BindsNames (InModule (Bind PName))

Introduce the name

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

BindsNames (InModule (TopDecl PName))

namingEnv' :: BindsNames a => a -> Supply -> (NamingEnv, Supply)

Generate a NamingEnv using an explicit supply.

class BindsNames a where

Things that define exported names.

Methods

namingEnv :: a -> SupplyM NamingEnv

Instances

BindsNames ImportIface

Produce a naming environment from an interface file, that contains a mapping only from unqualified names to qualified ones.

BindsNames NamingEnv

BindsNames a => BindsNames [a]

BindsNames a => BindsNames (Maybe a)

BindsNames (TParam PName)

Generate the naming environment for a type parameter.

BindsNames (Schema PName)

Generate a type renaming environment from the parameters that are bound by this schema.

BindsNames (Module PName)

The naming environment for a single module. This is the mapping from unqualified names to fully qualified names with uniques.

BindsNames (InModule (Newtype PName))

BindsNames (InModule (Bind PName))

Introduce the name

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

BindsNames (InModule (TopDecl PName))

interpImport :: Import -> IfaceDecls -> NamingEnv

Interpret an import in the context of an interface, to produce a name environment for the renamer, and a NameDisp for pretty-printing.

unqualifiedEnv :: IfaceDecls -> NamingEnv

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

data ImportIface

Constructors

ImportIface Import Iface

Instances

BindsNames ImportIface

Produce a naming environment from an interface file, that contains a mapping only from unqualified names to qualified ones.