Copyright | (c) 2015-2016 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Documentation
Names that originate in the parser.
UnQual !Ident | Unqualified names like |
Qual !ModName !Ident | Qualified names like |
NewName !Pass !Int | Fresh names generated by a pass. |
Eq PName Source # | |
Ord PName Source # | |
Show PName Source # | |
Generic PName Source # | |
NFData PName Source # | |
PPName PName Source # | |
PP PName Source # | |
RemovePatterns [Decl PName] Source # | |
RemovePatterns (Expr PName) Source # | |
RemovePatterns (Module PName) Source # | |
RemovePatterns (Program PName) Source # | |
BindsNames (TParam PName) Source # | Generate the naming environment for a type parameter. |
BindsNames (Schema PName) Source # | Generate a type renaming environment from the parameters that are bound by this schema. |
BindsNames (Module PName) Source # | The naming environment for a single module. This is the mapping from unqualified names to fully qualified names with uniques. |
BindsNames (InModule (Newtype PName)) Source # | |
BindsNames (InModule (Bind PName)) Source # | Introduce the name |
BindsNames (InModule (Decl PName)) Source # | The naming environment for a single declaration. |
BindsNames (InModule (TopDecl PName)) Source # | |
type Rep PName Source # | |
Passes that can generate fresh names.