Cryptol.ModuleSystem.NamingEnv

Documentation

data NamingEnv

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

Constructors

NamingEnv

Fields

• neExprs :: !(Map PName [Name])

  Expr renaming environment

• neTypes :: !(Map PName [Name])

  Type renaming environment

Instances

Show NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

showsPrec :: Int -> NamingEnv -> ShowS

show :: NamingEnv -> String

showList :: [NamingEnv] -> ShowS

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

Semigroup NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

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

sconcat :: NonEmpty NamingEnv -> NamingEnv

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

Monoid NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

mempty :: NamingEnv

mappend :: NamingEnv -> NamingEnv -> NamingEnv

mconcat :: [NamingEnv] -> NamingEnv

NFData NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

rnf :: NamingEnv -> ()

BindsNames NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: NamingEnv -> BuildNamingEnv

type Rep NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

type Rep NamingEnv = D1 ('MetaData "NamingEnv" "Cryptol.ModuleSystem.NamingEnv" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" 'False) (C1 ('MetaCons "NamingEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "neExprs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PName [Name])) :*: S1 ('MetaSel ('Just "neTypes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PName [Name]))))

lookupValNames :: PName -> NamingEnv -> [Name]

Return a list of value-level names to which this parsed name may refer.

lookupTypeNames :: PName -> NamingEnv -> [Name]

Return a list of type-level names to which this parsed name may refer.

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 PrimIdent 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

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

fmap :: (a -> b) -> InModule a -> InModule b

(<$) :: a -> InModule b -> InModule a

Foldable InModule

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

fold :: Monoid m => InModule m -> m

foldMap :: Monoid m => (a -> m) -> InModule a -> m

foldMap' :: Monoid m => (a -> m) -> InModule a -> m

foldr :: (a -> b -> b) -> b -> InModule a -> b

foldr' :: (a -> b -> b) -> b -> InModule a -> b

foldl :: (b -> a -> b) -> b -> InModule a -> b

foldl' :: (b -> a -> b) -> b -> InModule a -> b

foldr1 :: (a -> a -> a) -> InModule a -> a

foldl1 :: (a -> a -> a) -> InModule a -> a

toList :: InModule a -> [a]

null :: InModule a -> Bool

length :: InModule a -> Int

elem :: Eq a => a -> InModule a -> Bool

maximum :: Ord a => InModule a -> a

minimum :: Ord a => InModule a -> a

sum :: Num a => InModule a -> a

product :: Num a => InModule a -> a

Traversable InModule

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

traverse :: Applicative f => (a -> f b) -> InModule a -> f (InModule b)

sequenceA :: Applicative f => InModule (f a) -> f (InModule a)

mapM :: Monad m => (a -> m b) -> InModule a -> m (InModule b)

sequence :: Monad m => InModule (m a) -> m (InModule a)

Show a => Show (InModule a)

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

showsPrec :: Int -> InModule a -> ShowS

show :: InModule a -> String

showList :: [InModule a] -> ShowS

BindsNames (InModule (PrimType PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (PrimType PName) -> BuildNamingEnv

BindsNames (InModule (Newtype PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Newtype PName) -> BuildNamingEnv

BindsNames (InModule (Bind PName))

Introduce the name

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Bind PName) -> BuildNamingEnv

BindsNames (InModule (ParameterFun PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (ParameterFun PName) -> BuildNamingEnv

BindsNames (InModule (ParameterType PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (ParameterType PName) -> BuildNamingEnv

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Decl PName) -> BuildNamingEnv

BindsNames (InModule (TopDecl PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (TopDecl PName) -> BuildNamingEnv

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

Generate a NamingEnv using an explicit supply.

newTop :: FreshM m => ModName -> PName -> Maybe Fixity -> Range -> m Name

newLocal :: FreshM m => PName -> Range -> m Name

newtype BuildNamingEnv

Constructors

BuildNamingEnv

Fields

• runBuild :: SupplyT Id NamingEnv

Instances

Semigroup BuildNamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

(<>) :: BuildNamingEnv -> BuildNamingEnv -> BuildNamingEnv

sconcat :: NonEmpty BuildNamingEnv -> BuildNamingEnv

stimes :: Integral b => b -> BuildNamingEnv -> BuildNamingEnv

Monoid BuildNamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

mempty :: BuildNamingEnv

mappend :: BuildNamingEnv -> BuildNamingEnv -> BuildNamingEnv

mconcat :: [BuildNamingEnv] -> BuildNamingEnv

class BindsNames a where

Things that define exported names.

Methods

namingEnv :: a -> BuildNamingEnv

Instances

BindsNames ImportIface

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

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: ImportIface -> BuildNamingEnv

BindsNames NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: NamingEnv -> BuildNamingEnv

BindsNames a => BindsNames [a]

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: [a] -> BuildNamingEnv

BindsNames a => BindsNames (Maybe a)

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: Maybe a -> BuildNamingEnv

BindsNames (TParam PName)

Generate the naming environment for a type parameter.

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: TParam PName -> BuildNamingEnv

BindsNames (Schema PName)

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

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: Schema PName -> BuildNamingEnv

BindsNames (Module PName)

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

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: Module PName -> BuildNamingEnv

BindsNames (InModule (PrimType PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (PrimType PName) -> BuildNamingEnv

BindsNames (InModule (Newtype PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Newtype PName) -> BuildNamingEnv

BindsNames (InModule (Bind PName))

Introduce the name

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Bind PName) -> BuildNamingEnv

BindsNames (InModule (ParameterFun PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (ParameterFun PName) -> BuildNamingEnv

BindsNames (InModule (ParameterType PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (ParameterType PName) -> BuildNamingEnv

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (Decl PName) -> BuildNamingEnv

BindsNames (InModule (TopDecl PName))

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: InModule (TopDecl PName) -> BuildNamingEnv

interpImport

Arguments

:: Import

The import declarations

-> IfaceDecls

Declarations of imported module

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

modParamsNamingEnv :: IfaceParams -> NamingEnv

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

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.

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: ImportIface -> BuildNamingEnv