Cryptol.TypeCheck.PP

Documentation

type NameMap = IntMap String

data WithNames a

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

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)

emptyNameMap :: NameMap

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

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

intToName :: Int -> String

nameList :: [String] -> [String]

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

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

module Cryptol.Utils.PP