cryptol-3.5.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.ModuleSystem.NamingEnv.Types

Synopsis

Documentation

newtype NamingEnv Source #

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

Constructors

NamingEnv (Map Namespace (Map PName Names)) 

Instances

Instances details
Monoid NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

mempty :: NamingEnv #

mappend :: NamingEnv -> NamingEnv -> NamingEnv #

mconcat :: [NamingEnv] -> NamingEnv #

Semigroup NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

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

sconcat :: NonEmpty NamingEnv -> NamingEnv #

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

Generic NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Associated Types

type Rep NamingEnv 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

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

Methods

from :: NamingEnv -> Rep NamingEnv x #

to :: Rep NamingEnv x -> NamingEnv #

Show NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

showsPrec :: Int -> NamingEnv -> ShowS #

show :: NamingEnv -> String #

showList :: [NamingEnv] -> ShowS #

BindsNames NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: NamingEnv -> BuildNamingEnv

ModuleInstance NamingEnv Source # 
Instance details

Defined in Cryptol.TypeCheck.ModuleInstance

Methods

moduleInstance :: NamingEnv -> NamingEnv Source #

PP NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

ppPrec :: Int -> NamingEnv -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> NamingEnv -> Doc Source #

NFData NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

rnf :: NamingEnv -> () #

type Rep NamingEnv Source # 
Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

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

consToValues :: NamingEnv -> NamingEnv Source #

Move names in the constructor namespace to the value namespace. This is handy when checking for ambiguities.