| Copyright | (c) 2013-2015 Galois, Inc. |
|---|---|
| License | BSD3 |
| Maintainer | cryptol@galois.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Cryptol.TypeCheck.PP
Description
- type NameMap = IntMap String
- data WithNames a = WithNames a NameMap
- emptyNameMap :: NameMap
- ppWithNamesPrec :: PP (WithNames a) => NameMap -> Int -> a -> Doc
- ppWithNames :: PP (WithNames a) => NameMap -> a -> Doc
- intToName :: Int -> String
- nameList :: [String] -> [String]
- dump :: PP (WithNames a) => a -> String
- module Cryptol.Utils.PP
Documentation
This packages together a type with some names to be used to display the variables. It is used for pretty printing types.
Instances
| PP (WithNames Decl) | |
| PP (WithNames DeclGroup) | |
| PP (WithNames Match) | |
| PP (WithNames Expr) | |
| PP (WithNames TVar) | |
| PP (WithNames Type) | |
| PP (WithNames TParam) | |
| PP (WithNames TySyn) | |
| PP (WithNames Schema) | |
| PP (WithNames Module) | |
| PP (WithNames Subst) | |
| PP (WithNames Error) | |
| PP (WithNames Warning) | |
| PP (WithNames DelayedCt) | |
| PP (WithNames Goal) |
nameList :: [String] -> [String] Source
Expand a list of base names into an infinite list of variations.
module Cryptol.Utils.PP