cryptol-2.5.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.TypeCheck.PP

Description

 

Synopsis

Documentation

type NameMap = IntMap String Source #

data WithNames a Source #

This packages together a type with some names to be used to display the variables. It is used for pretty printing types.

Constructors

WithNames a NameMap 

Instances

emptyNameMap :: NameMap Source #

ppWithNamesPrec :: PP (WithNames a) => NameMap -> Int -> a -> Doc Source #

ppWithNames :: PP (WithNames a) => NameMap -> a -> Doc Source #

intToName :: Int -> String Source #

nameList :: [String] -> [String] Source #

Expand a list of base names into an infinite list of variations.

dump :: PP (WithNames a) => a -> String Source #

module Cryptol.Utils.PP