Cryptol.Parser.Name

Documentation

data PName

Names that originate in the parser.

Constructors

UnQual !Ident

Unqualified names like x, Foo, or +.

Qual !ModName !Ident

Qualified names like Foo::bar or module::!.

NewName !Pass !Int

Fresh names generated by a pass.

Instances

Generic PName

Defined in Cryptol.Parser.Name

Associated Types

type Rep PName :: Type -> Type

Methods

from :: PName -> Rep PName x

to :: Rep PName x -> PName

Show PName

Defined in Cryptol.Parser.Name

Methods

showsPrec :: Int -> PName -> ShowS

show :: PName -> String

showList :: [PName] -> ShowS

PP PName

Defined in Cryptol.Parser.Name

Methods

ppPrec :: Int -> PName -> Doc

PPName PName

Defined in Cryptol.Parser.Name

Methods

ppNameFixity :: PName -> Maybe Fixity

ppPrefixName :: PName -> Doc

ppInfixName :: PName -> Doc

NFData PName

Defined in Cryptol.Parser.Name

Methods

rnf :: PName -> ()

Eq PName

Defined in Cryptol.Parser.Name

Methods

(==) :: PName -> PName -> Bool

(/=) :: PName -> PName -> Bool

Ord PName

Defined in Cryptol.Parser.Name

Methods

compare :: PName -> PName -> Ordering

(<) :: PName -> PName -> Bool

(<=) :: PName -> PName -> Bool

(>) :: PName -> PName -> Bool

(>=) :: PName -> PName -> Bool

max :: PName -> PName -> PName

min :: PName -> PName -> PName

BindsNames (InModule (Bind PName))

Introduce the name

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (Bind PName) -> BuildNamingEnv

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (Decl PName) -> BuildNamingEnv

BindsNames (InModule (EnumDecl PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (EnumDecl PName) -> BuildNamingEnv

BindsNames (InModule (NestedModule PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (NestedModule PName) -> BuildNamingEnv

BindsNames (InModule (Newtype PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (Newtype PName) -> BuildNamingEnv

BindsNames (InModule (ParameterFun PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (ParameterFun PName) -> BuildNamingEnv

BindsNames (InModule (ParameterType PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (ParameterType PName) -> BuildNamingEnv

BindsNames (InModule (PrimType PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (PrimType PName) -> BuildNamingEnv

BindsNames (InModule (SigDecl PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (SigDecl PName) -> BuildNamingEnv

BindsNames (InModule (TopDecl PName))

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: InModule (TopDecl PName) -> BuildNamingEnv

BindsNames (Pattern PName)

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: Pattern PName -> BuildNamingEnv

BindsNames (Schema PName)

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

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: Schema PName -> BuildNamingEnv

BindsNames (TParam PName)

Generate the naming environment for a type parameter.

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: TParam PName -> BuildNamingEnv

RemovePatterns (Expr PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: Expr PName -> (Expr PName, [Error])

RemovePatterns (NestedModule PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: NestedModule PName -> (NestedModule PName, [Error])

RemovePatterns (Program PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: Program PName -> (Program PName, [Error])

RemovePatterns [Decl PName]

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: [Decl PName] -> ([Decl PName], [Error])

RemovePatterns (ModuleG mname PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: ModuleG mname PName -> (ModuleG mname PName, [Error])

type Rep PName

Defined in Cryptol.Parser.Name

type Rep PName = D1 ('MetaData "PName" "Cryptol.Parser.Name" "cryptol-3.2.0-35bDsq0QUVdvBXha47jji" 'False) (C1 ('MetaCons "UnQual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident)) :+: (C1 ('MetaCons "Qual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident)) :+: C1 ('MetaCons "NewName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Pass) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

data Pass

Passes that can generate fresh names.

Constructors

NoPat

MonoValues

ExpandPropGuards String

Instances

Generic Pass

Defined in Cryptol.Parser.Name

Associated Types

type Rep Pass :: Type -> Type

Methods

from :: Pass -> Rep Pass x

to :: Rep Pass x -> Pass

Show Pass

Defined in Cryptol.Parser.Name

Methods

showsPrec :: Int -> Pass -> ShowS

show :: Pass -> String

showList :: [Pass] -> ShowS

NFData Pass

Defined in Cryptol.Parser.Name

Methods

rnf :: Pass -> ()

Eq Pass

Defined in Cryptol.Parser.Name

Methods

(==) :: Pass -> Pass -> Bool

(/=) :: Pass -> Pass -> Bool

Ord Pass

Defined in Cryptol.Parser.Name

Methods

compare :: Pass -> Pass -> Ordering

(<) :: Pass -> Pass -> Bool

(<=) :: Pass -> Pass -> Bool

(>) :: Pass -> Pass -> Bool

(>=) :: Pass -> Pass -> Bool

max :: Pass -> Pass -> Pass

min :: Pass -> Pass -> Pass

type Rep Pass

Defined in Cryptol.Parser.Name

type Rep Pass = D1 ('MetaData "Pass" "Cryptol.Parser.Name" "cryptol-3.2.0-35bDsq0QUVdvBXha47jji" 'False) (C1 ('MetaCons "NoPat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MonoValues" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpandPropGuards" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

mkUnqual :: Ident -> PName

mkQual :: ModName -> Ident -> PName

origNameToDefPName :: OrigName -> PName

Compute a PName for the definition site corresponding to the given OrigName. Usually this is an unqualified name, but names that come from module parameters are qualified with the corresponding parameter name.

getModName :: PName -> Maybe ModName

getIdent :: PName -> Ident

isGeneratedName :: PName -> Bool