Copyright	(c) 2013-2016 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Cryptol.TypeCheck.PP

Description

Synopsis

type NameMap = IntMap Doc
data WithNames a = WithNames a NameMap
emptyNameMap :: NameMap
ppWithNamesPrec :: PP (WithNames a) => NameMap -> Int -> a -> Doc
ppWithNames :: PP (WithNames a) => NameMap -> a -> Doc
nameList :: [String] -> [String]
dump :: PP (WithNames a) => a -> String
module Cryptol.Utils.PP

Documentation

type NameMap = IntMap Doc 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

Instances details

PP (WithNames Decl) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames Decl -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Decl -> Doc Source #
PP (WithNames DeclDef) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames DeclDef -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames DeclDef -> Doc Source #
PP (WithNames DeclGroup) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames DeclGroup -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames DeclGroup -> Doc Source #
PP (WithNames Expr) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames Expr -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Expr -> Doc Source #
PP (WithNames Match) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames Match -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Match -> Doc Source #
PP n => PP (WithNames (ModuleG n)) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames (ModuleG n) -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames (ModuleG n) -> Doc Source #
PP (WithNames TCTopEntity) Source #
Instance details Defined in Cryptol.TypeCheck.AST Methods ppPrec :: Int -> WithNames TCTopEntity -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames TCTopEntity -> Doc Source #
PP (WithNames Error) Source #
Instance details Defined in Cryptol.TypeCheck.Error Methods ppPrec :: Int -> WithNames Error -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Error -> Doc Source #
PP (WithNames Warning) Source #
Instance details Defined in Cryptol.TypeCheck.Error Methods ppPrec :: Int -> WithNames Warning -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Warning -> Doc Source #
PP (WithNames FFITypeError) Source #
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods ppPrec :: Int -> WithNames FFITypeError -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames FFITypeError -> Doc Source #
PP (WithNames FFITypeErrorReason) Source #
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods ppPrec :: Int -> WithNames FFITypeErrorReason -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames FFITypeErrorReason -> Doc Source #
PP (WithNames DelayedCt) Source #
Instance details Defined in Cryptol.TypeCheck.InferTypes Methods ppPrec :: Int -> WithNames DelayedCt -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames DelayedCt -> Doc Source #
PP (WithNames Goal) Source #
Instance details Defined in Cryptol.TypeCheck.InferTypes Methods ppPrec :: Int -> WithNames Goal -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Goal -> Doc Source #
PP (WithNames Subst) Source #
Instance details Defined in Cryptol.TypeCheck.Subst.Type Methods ppPrec :: Int -> WithNames Subst -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Subst -> Doc Source #
PP (WithNames NominalType) Source #
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames NominalType -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames NominalType -> Doc Source #
PP (WithNames Schema) Source #
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames Schema -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Schema -> Doc Source #
PP (WithNames TParam) Source #
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames TParam -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames TParam -> Doc Source #
PP (WithNames TVar) Source #
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames TVar -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames TVar -> Doc Source #
PP (WithNames TySyn) Source #
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames TySyn -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames TySyn -> Doc Source #
PP (WithNames Type) Source #	The precedence levels used by this pretty-printing instance correspond with parser non-terminals as follows: 0-1: `type` 2: `infix_type` 3: `app_type` 4: `dimensions atype` 5: `atype`
Instance details Defined in Cryptol.TypeCheck.Type Methods ppPrec :: Int -> WithNames Type -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> WithNames Type -> Doc Source #

emptyNameMap :: NameMap Source #

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

ppWithNames :: PP (WithNames a) => NameMap -> a -> Doc 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