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

Ord PName

Show PName

Generic PName

NFData PName

PPName PName

PP PName

RemovePatterns [Decl PName]

RemovePatterns (Expr PName)

RemovePatterns (Module PName)

RemovePatterns (Program PName)

BindsNames (TParam PName)

Generate the naming environment for a type parameter.

BindsNames (Schema PName)

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

BindsNames (Module PName)

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

BindsNames (InModule (Newtype PName))

BindsNames (InModule (Bind PName))

Introduce the name

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

BindsNames (InModule (TopDecl PName))

type Rep PName

data Pass

Passes that can generate fresh names.

Constructors

NoPat

MonoValues

Instances

Eq Pass

Ord Pass

Show Pass

Generic Pass

NFData Pass

type Rep Pass

mkUnqual :: Ident -> PName

mkQual :: ModName -> Ident -> PName

getModName :: PName -> Maybe ModName

getIdent :: PName -> Ident