Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.ModuleSystem.NamingEnv.Types

Synopsis

newtype NamingEnv = NamingEnv (Map Namespace (Map PName Names))
consToValues :: NamingEnv -> NamingEnv

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 :: Type -> Type # 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 #
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.3.0-7OIQa8lMv7L2xoAlM9JEI6" '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.