Eq PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
Ord PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
Show PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
Generic PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
NFData PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
PPName PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
PP PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |
RemovePatterns [Decl PName] Source # | |
Instance detailsDefined in Cryptol.Parser.NoPat |
RemovePatterns (Expr PName) Source # | |
Instance detailsDefined in Cryptol.Parser.NoPat |
RemovePatterns (Module PName) Source # | |
Instance detailsDefined in Cryptol.Parser.NoPat |
RemovePatterns (Program PName) Source # | |
Instance detailsDefined in Cryptol.Parser.NoPat |
BindsNames (TParam PName) Source # | Generate the naming environment for a type parameter. |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (Schema PName) Source # | Generate a type renaming environment from the parameters that are bound by
this schema. |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (Module PName) Source # | The naming environment for a single module. This is the mapping from
unqualified names to fully qualified names with uniques. |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (PrimType PName)) Source # | |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (Newtype PName)) Source # | |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (Bind PName)) Source # | Introduce the name |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (ParameterFun PName)) Source # | |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (ParameterType PName)) Source # | |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (Decl PName)) Source # | The naming environment for a single declaration. |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
BindsNames (InModule (TopDecl PName)) Source # | |
Instance detailsDefined in Cryptol.ModuleSystem.NamingEnv |
type Rep PName Source # | |
Instance detailsDefined in Cryptol.Parser.Name |