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

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

Show PName

Defined in Cryptol.Parser.Name

Methods

showsPrec :: Int -> PName -> ShowS

show :: PName -> String

showList :: [PName] -> ShowS

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

NFData PName

Defined in Cryptol.Parser.Name

Methods

rnf :: PName -> ()

PPName PName

Defined in Cryptol.Parser.Name

Methods

ppNameFixity :: PName -> Maybe (Assoc, Int)

ppPrefixName :: PName -> Doc

ppInfixName :: PName -> Doc

PP PName

Defined in Cryptol.Parser.Name

Methods

ppPrec :: Int -> PName -> Doc

RemovePatterns [Decl PName]

Defined in Cryptol.Parser.NoPat

Methods

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

RemovePatterns (Expr PName)

Defined in Cryptol.Parser.NoPat

Methods

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

RemovePatterns (Module PName)

Defined in Cryptol.Parser.NoPat

Methods

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

RemovePatterns (Program PName)

Defined in Cryptol.Parser.NoPat

Methods

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

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

type Rep PName

Defined in Cryptol.Parser.Name

type Rep PName = D1 (MetaData "PName" "Cryptol.Parser.Name" "cryptol-2.8.0-Jl4xQKR0B4Q8VTNDfmeSo7" 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

Instances

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

Show Pass

Defined in Cryptol.Parser.Name

Methods

showsPrec :: Int -> Pass -> ShowS

show :: Pass -> String

showList :: [Pass] -> ShowS

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

NFData Pass

Defined in Cryptol.Parser.Name

Methods

rnf :: Pass -> ()

type Rep Pass

Defined in Cryptol.Parser.Name

type Rep Pass = D1 (MetaData "Pass" "Cryptol.Parser.Name" "cryptol-2.8.0-Jl4xQKR0B4Q8VTNDfmeSo7" False) (C1 (MetaCons "NoPat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MonoValues" PrefixI False) (U1 :: Type -> Type))

mkUnqual :: Ident -> PName

mkQual :: ModName -> Ident -> PName

getModName :: PName -> Maybe ModName

getIdent :: PName -> Ident

isGeneratedName :: PName -> Bool