Cryptol.Utils.PP

Documentation

data PPOpts

How to pretty print things when evaluating

Constructors

PPOpts

Fields

• useAscii :: Bool
• useBase :: Int
• useInfLength :: Int
• useFPBase :: Int
• useFPFormat :: PPFloatFormat
• useFieldOrder :: FieldOrder

Instances

Show PPOpts

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> PPOpts -> ShowS

show :: PPOpts -> String

showList :: [PPOpts] -> ShowS

asciiMode :: PPOpts -> Integer -> Bool

data PPFloatFormat

Constructors

FloatFixed Int PPFloatExp

Use this many significant digis

FloatFrac Int

Show this many digits after floating point

FloatFree PPFloatExp

Use the correct number of digits

Instances

Show PPFloatFormat

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> PPFloatFormat -> ShowS

show :: PPFloatFormat -> String

showList :: [PPFloatFormat] -> ShowS

data PPFloatExp

Constructors

ForceExponent

Always show an exponent

AutoExponent

Only show exponent when needed

Instances

Show PPFloatExp

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> PPFloatExp -> ShowS

show :: PPFloatExp -> String

showList :: [PPFloatExp] -> ShowS

data FieldOrder

Constructors

DisplayOrder

CanonicalOrder

Instances

Bounded FieldOrder

Defined in Cryptol.Utils.PP

Methods

minBound :: FieldOrder

maxBound :: FieldOrder

Enum FieldOrder

Defined in Cryptol.Utils.PP

Methods

succ :: FieldOrder -> FieldOrder

pred :: FieldOrder -> FieldOrder

toEnum :: Int -> FieldOrder

fromEnum :: FieldOrder -> Int

enumFrom :: FieldOrder -> [FieldOrder]

enumFromThen :: FieldOrder -> FieldOrder -> [FieldOrder]

enumFromTo :: FieldOrder -> FieldOrder -> [FieldOrder]

enumFromThenTo :: FieldOrder -> FieldOrder -> FieldOrder -> [FieldOrder]

Read FieldOrder

Defined in Cryptol.Utils.PP

Methods

readsPrec :: Int -> ReadS FieldOrder

readList :: ReadS [FieldOrder]

readPrec :: ReadPrec FieldOrder

readListPrec :: ReadPrec [FieldOrder]

Show FieldOrder

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> FieldOrder -> ShowS

show :: FieldOrder -> String

showList :: [FieldOrder] -> ShowS

Eq FieldOrder

Defined in Cryptol.Utils.PP

Methods

(==) :: FieldOrder -> FieldOrder -> Bool

(/=) :: FieldOrder -> FieldOrder -> Bool

Ord FieldOrder

Defined in Cryptol.Utils.PP

Methods

compare :: FieldOrder -> FieldOrder -> Ordering

(<) :: FieldOrder -> FieldOrder -> Bool

(<=) :: FieldOrder -> FieldOrder -> Bool

(>) :: FieldOrder -> FieldOrder -> Bool

(>=) :: FieldOrder -> FieldOrder -> Bool

max :: FieldOrder -> FieldOrder -> FieldOrder

min :: FieldOrder -> FieldOrder -> FieldOrder

defaultPPOpts :: PPOpts

data NameDisp

How to display names, inspired by the GHC Outputable module. Getting a value of Nothing from the NameDisp function indicates that the display has no opinion on how this name should be displayed, and some other display should be tried out.

Constructors

EmptyNameDisp

NameDisp (OrigName -> Maybe NameFormat)

Instances

Monoid NameDisp

Defined in Cryptol.Utils.PP

Methods

mempty :: NameDisp

mappend :: NameDisp -> NameDisp -> NameDisp

mconcat :: [NameDisp] -> NameDisp

Semigroup NameDisp

Defined in Cryptol.Utils.PP

Methods

(<>) :: NameDisp -> NameDisp -> NameDisp

sconcat :: NonEmpty NameDisp -> NameDisp

stimes :: Integral b => b -> NameDisp -> NameDisp

Generic NameDisp

Defined in Cryptol.Utils.PP

Associated Types

type Rep NameDisp :: Type -> Type

Methods

from :: NameDisp -> Rep NameDisp x

to :: Rep NameDisp x -> NameDisp

Show NameDisp

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> NameDisp -> ShowS

show :: NameDisp -> String

showList :: [NameDisp] -> ShowS

NFData NameDisp

Defined in Cryptol.Utils.PP

Methods

rnf :: NameDisp -> ()

type Rep NameDisp

Defined in Cryptol.Utils.PP

type Rep NameDisp = D1 ('MetaData "NameDisp" "Cryptol.Utils.PP" "cryptol-3.1.0-276efOa9Q2aIFSEzDdp2Mp" 'False) (C1 ('MetaCons "EmptyNameDisp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NameDisp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OrigName -> Maybe NameFormat))))

data NameFormat

Constructors

UnQualified

Qualified !ModName

NotInScope

Instances

Show NameFormat

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> NameFormat -> ShowS

show :: NameFormat -> String

showList :: [NameFormat] -> ShowS

neverQualifyMod :: ModPath -> NameDisp

Never qualify names from this module.

neverQualify :: NameDisp

extend :: NameDisp -> NameDisp -> NameDisp

Compose two naming environments, preferring names from the left environment.

getNameFormat :: OrigName -> NameDisp -> NameFormat

Get the format for a name.

withNameDisp :: (NameDisp -> Doc) -> Doc

Produce a document in the context of the current NameDisp.

withPPCfg :: (PPCfg -> Doc) -> Doc

Produce a document in the context of the current configuration.

fixNameDisp :: NameDisp -> Doc -> Doc

Fix the way that names are displayed inside of a doc.

fixPPCfg :: PPCfg -> Doc -> Doc

Fix the way that names are displayed inside of a doc.

updPPCfg :: (PPCfg -> PPCfg) -> Doc -> Doc

debugShowUniques :: Doc -> Doc

data PPCfg

Constructors

PPCfg

Fields

• ppcfgNameDisp :: NameDisp
• ppcfgShowNameUniques :: Bool

defaultPPCfg :: PPCfg

newtype Doc

Constructors

Doc (PPCfg -> Doc Void)

Instances

IsString Doc

Defined in Cryptol.Utils.PP

Methods

fromString :: String -> Doc

Monoid Doc

Defined in Cryptol.Utils.PP

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Semigroup Doc

Defined in Cryptol.Utils.PP

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Generic Doc

Defined in Cryptol.Utils.PP

Associated Types

type Rep Doc :: Type -> Type

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Show Doc

Defined in Cryptol.Utils.PP

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

NFData Doc

Defined in Cryptol.Utils.PP

Methods

rnf :: Doc -> ()

type Rep Doc

Defined in Cryptol.Utils.PP

type Rep Doc = D1 ('MetaData "Doc" "Cryptol.Utils.PP" "cryptol-3.1.0-276efOa9Q2aIFSEzDdp2Mp" 'True) (C1 ('MetaCons "Doc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PPCfg -> Doc Void))))

runDocWith :: PPCfg -> Doc -> Doc Void

runDoc :: NameDisp -> Doc -> Doc Void

renderOneLine :: Doc -> String

class PP a where

Methods

ppPrec :: Int -> a -> Doc

Instances

PP FFILoadError

Defined in Cryptol.Backend.FFI.Error

Methods

ppPrec :: Int -> FFILoadError -> Doc

PP EvalError

Defined in Cryptol.Backend.Monad

Methods

ppPrec :: Int -> EvalError -> Doc

PP EvalErrorEx

Defined in Cryptol.Backend.Monad

Methods

ppPrec :: Int -> EvalErrorEx -> Doc

PP Unsupported

Defined in Cryptol.Backend.Monad

Methods

ppPrec :: Int -> Unsupported -> Doc

PP WordTooWide

Defined in Cryptol.Backend.Monad

Methods

ppPrec :: Int -> WordTooWide -> Doc

PP ModulePath

Defined in Cryptol.ModuleSystem.Env

Methods

ppPrec :: Int -> ModulePath -> Doc

PP ImportSource

Defined in Cryptol.ModuleSystem.Monad

Methods

ppPrec :: Int -> ImportSource -> Doc

PP ModuleError

Defined in Cryptol.ModuleSystem.Monad

Methods

ppPrec :: Int -> ModuleError -> Doc

PP ModuleWarning

Defined in Cryptol.ModuleSystem.Monad

Methods

ppPrec :: Int -> ModuleWarning -> Doc

PP Name

Defined in Cryptol.ModuleSystem.Name

Methods

ppPrec :: Int -> Name -> Doc

PP NamingEnv

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

ppPrec :: Int -> NamingEnv -> Doc

PP RenamedModule

Defined in Cryptol.ModuleSystem.Renamer

Methods

ppPrec :: Int -> RenamedModule -> Doc

PP DepName

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> DepName -> Doc

PP ModKind

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> ModKind -> Doc

PP RenamerError

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> RenamerError -> Doc

PP RenamerWarning

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> RenamerWarning -> Doc

PP ImportSpec

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ImportSpec -> Doc

PP Kind

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Kind -> Doc

PP Literal

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Literal -> Doc

PP Pragma

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Pragma -> Doc

PP UpdHow

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> UpdHow -> Doc

PP Error

Defined in Cryptol.Parser.ExpandPropGuards

Methods

ppPrec :: Int -> Error -> Doc

PP PName

Defined in Cryptol.Parser.Name

Methods

ppPrec :: Int -> PName -> Doc

PP Error

Defined in Cryptol.Parser.NoPat

Methods

ppPrec :: Int -> Error -> Doc

PP Position

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Position -> Doc

PP Range

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Range -> Doc

PP Selector

Defined in Cryptol.Parser.Selector

Methods

ppPrec :: Int -> Selector -> Doc

PP Token

Defined in Cryptol.Parser.Token

Methods

ppPrec :: Int -> Token -> Doc

PP REPLException

Defined in Cryptol.REPL.Monad

Methods

ppPrec :: Int -> REPLException -> Doc

PP Smoke

Defined in Cryptol.REPL.Monad

Methods

ppPrec :: Int -> Smoke -> Doc

PP CaseAlt

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> CaseAlt -> Doc

PP Decl

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> Decl -> Doc

PP DeclGroup

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> DeclGroup -> Doc

PP Expr

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> Expr -> Doc

PP Match

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> Match -> Doc

PP TCTopEntity

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> TCTopEntity -> Doc

PP Error

Defined in Cryptol.TypeCheck.Error

Methods

ppPrec :: Int -> Error -> Doc

PP Warning

Defined in Cryptol.TypeCheck.Error

Methods

ppPrec :: Int -> Warning -> Doc

PP ConstraintSource

Defined in Cryptol.TypeCheck.InferTypes

Methods

ppPrec :: Int -> ConstraintSource -> Doc

PP Error

Defined in Cryptol.TypeCheck.Sanity

Methods

ppPrec :: Int -> Error -> Doc

PP Solved

Defined in Cryptol.TypeCheck.Solver.Types

Methods

ppPrec :: Int -> Solved -> Doc

PP Subst

Defined in Cryptol.TypeCheck.Subst

Methods

ppPrec :: Int -> Subst -> Doc

PP Kind

Defined in Cryptol.TypeCheck.TCon

Methods

ppPrec :: Int -> Kind -> Doc

PP PC

Defined in Cryptol.TypeCheck.TCon

Methods

ppPrec :: Int -> PC -> Doc

PP TC

Defined in Cryptol.TypeCheck.TCon

Methods

ppPrec :: Int -> TC -> Doc

PP TCon

Defined in Cryptol.TypeCheck.TCon

Methods

ppPrec :: Int -> TCon -> Doc

PP TFun

Defined in Cryptol.TypeCheck.TCon

Methods

ppPrec :: Int -> TFun -> Doc

PP ArgDescr

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> ArgDescr -> Doc

PP ModParamNames

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> ModParamNames -> Doc

PP ModTParam

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> ModTParam -> Doc

PP ModVParam

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> ModVParam -> Doc

PP NominalType

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> NominalType -> Doc

PP Schema

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> Schema -> Doc

PP TParam

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> TParam -> Doc

PP TVar

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> TVar -> Doc

PP TVarInfo

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> TVarInfo -> Doc

PP TySyn

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> TySyn -> Doc

PP Type

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> Type -> Doc

PP TypeSource

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> TypeSource -> Doc

PP Path

Defined in Cryptol.TypeCheck.Unify

Methods

ppPrec :: Int -> Path -> Doc

PP Assoc

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Assoc -> Doc

PP Fixity

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Fixity -> Doc

PP Ident

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Ident -> Doc

PP ModName

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> ModName -> Doc

PP ModPath

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> ModPath -> Doc

PP Namespace

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Namespace -> Doc

PP OrigName

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> OrigName -> Doc

PP PrimIdent

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> PrimIdent -> Doc

PP Text

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Text -> Doc

(Show name, PPName name) => PP (Bind name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Bind name -> Doc

(Show name, PPName name) => PP (BindDef name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> BindDef name -> Doc

(Show name, PPName name) => PP (BindImpl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> BindImpl name -> Doc

(Show name, PPName name) => PP (CaseAlt name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> CaseAlt name -> Doc

(Show name, PPName name) => PP (Decl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Decl name -> Doc

(Show name, PPName name) => PP (EnumCon name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> EnumCon name -> Doc

(Show name, PPName name) => PP (EnumDecl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> EnumDecl name -> Doc

(Show name, PPName name) => PP (Expr name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Expr name -> Doc

PP name => PP (ImpName name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ImpName name -> Doc

PP mname => PP (ImportG mname)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ImportG mname -> Doc

(Show name, PPName name) => PP (Match name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Match name -> Doc

(Show name, PPName name) => PP (ModParam name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModParam name -> Doc

(Show name, PPName name) => PP (ModuleDefinition name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModuleDefinition name -> Doc

(Show name, PPName name) => PP (ModuleInstanceArg name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModuleInstanceArg name -> Doc

(Show name, PPName name) => PP (ModuleInstanceArgs name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModuleInstanceArgs name -> Doc

(Show name, PPName name) => PP (ModuleInstanceNamedArg name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModuleInstanceNamedArg name -> Doc

(Show name, PPName name) => PP (NestedModule name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> NestedModule name -> Doc

PPName name => PP (Newtype name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Newtype name -> Doc

(Show name, PPName name) => PP (ParamDecl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ParamDecl name -> Doc

(Show name, PPName name) => PP (ParameterFun name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ParameterFun name -> Doc

(Show name, PPName name) => PP (ParameterType name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ParameterType name -> Doc

PPName name => PP (Pattern name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Pattern name -> Doc

(Show name, PPName name) => PP (PrimType name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> PrimType name -> Doc

(Show name, PPName name) => PP (Program name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Program name -> Doc

PPName name => PP (Prop name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Prop name -> Doc

PPName name => PP (PropSyn name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> PropSyn name -> Doc

PPName name => PP (Schema name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Schema name -> Doc

(Show name, PPName name) => PP (SigDecl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> SigDecl name -> Doc

PPName name => PP (TParam name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> TParam name -> Doc

(Show name, PPName name) => PP (TopDecl name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> TopDecl name -> Doc

PP a => PP (TopLevel a)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> TopLevel a -> Doc

PPName name => PP (TySyn name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> TySyn name -> Doc

PPName name => PP (Type name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> Type name -> Doc

PPName name => PP (TypeInst name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> TypeInst name -> Doc

(Show name, PPName name) => PP (UpdField name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> UpdField name -> Doc

PP a => PP (Located a)

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Located a -> Doc

PP n => PP (ModuleG n)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> ModuleG n -> Doc

PP (WithNames Decl)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames Decl -> Doc

PP (WithNames DeclDef)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames DeclDef -> Doc

PP (WithNames DeclGroup)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames DeclGroup -> Doc

PP (WithNames Expr)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames Expr -> Doc

PP (WithNames Match)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames Match -> Doc

PP n => PP (WithNames (ModuleG n))

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames (ModuleG n) -> Doc

PP (WithNames TCTopEntity)

Defined in Cryptol.TypeCheck.AST

Methods

ppPrec :: Int -> WithNames TCTopEntity -> Doc

PP (WithNames Error)

Defined in Cryptol.TypeCheck.Error

Methods

ppPrec :: Int -> WithNames Error -> Doc

PP (WithNames Warning)

Defined in Cryptol.TypeCheck.Error

Methods

ppPrec :: Int -> WithNames Warning -> Doc

PP (WithNames FFITypeError)

Defined in Cryptol.TypeCheck.FFI.Error

Methods

ppPrec :: Int -> WithNames FFITypeError -> Doc

PP (WithNames FFITypeErrorReason)

Defined in Cryptol.TypeCheck.FFI.Error

Methods

ppPrec :: Int -> WithNames FFITypeErrorReason -> Doc

PP (WithNames DelayedCt)

Defined in Cryptol.TypeCheck.InferTypes

Methods

ppPrec :: Int -> WithNames DelayedCt -> Doc

PP (WithNames Goal)

Defined in Cryptol.TypeCheck.InferTypes

Methods

ppPrec :: Int -> WithNames Goal -> Doc

PP (WithNames Subst)

Defined in Cryptol.TypeCheck.Subst

Methods

ppPrec :: Int -> WithNames Subst -> Doc

PP (WithNames NominalType)

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames NominalType -> Doc

PP (WithNames Schema)

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames Schema -> Doc

PP (WithNames TParam)

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames TParam -> Doc

PP (WithNames TVar)

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames TVar -> Doc

PP (WithNames TySyn)

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames TySyn -> Doc

PP (WithNames Type)

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

Defined in Cryptol.TypeCheck.Type

Methods

ppPrec :: Int -> WithNames Type -> Doc

PPName name => PP [Prop name]

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> [Prop name] -> Doc

(Show name, PPName mname, PPName name) => PP (ModuleG mname name)

Defined in Cryptol.Parser.AST

Methods

ppPrec :: Int -> ModuleG mname name -> Doc

class PP a => PPName a where

Methods

ppNameFixity :: a -> Maybe Fixity

Fixity information for infix operators

ppPrefixName :: a -> Doc

Print a name in prefix: f a b or (+) a b)

ppInfixName :: a -> Doc

Print a name as an infix operator: a + b

Instances

PPName Name

Defined in Cryptol.ModuleSystem.Name

Methods

ppNameFixity :: Name -> Maybe Fixity

ppPrefixName :: Name -> Doc

ppInfixName :: Name -> Doc

PPName PName

Defined in Cryptol.Parser.Name

Methods

ppNameFixity :: PName -> Maybe Fixity

ppPrefixName :: PName -> Doc

ppInfixName :: PName -> Doc

PPName ModName

Defined in Cryptol.Utils.PP

Methods

ppNameFixity :: ModName -> Maybe Fixity

ppPrefixName :: ModName -> Doc

ppInfixName :: ModName -> Doc

PPName a => PPName (Located a)

Defined in Cryptol.Parser.Position

Methods

ppNameFixity :: Located a -> Maybe Fixity

ppPrefixName :: Located a -> Doc

ppInfixName :: Located a -> Doc

pp :: PP a => a -> Doc

pretty :: PP a => a -> String

optParens :: Bool -> Doc -> Doc

data Infix op thing

Information about an infix expression of some sort.

Constructors

Infix

Fields

• ieOp :: op

  operator

• ieLeft :: thing

  left argument

• ieRight :: thing

  right argument

• ieFixity :: Fixity

  operator fixity

ppInfix

Arguments

:: (PP thing, PP op)

=> Int

Non-infix leaves are printed with this precedence

-> (thing -> Maybe (Infix op thing))

pattern to check if sub-thing is also infix

-> Infix op thing

Pretty print this infix expression

-> Doc

Pretty print an infix expression of some sort.

ordinal :: (Integral a, Show a, Eq a) => a -> Doc

Display a numeric value as an ordinal (e.g., 2nd)

ordSuffix :: (Integral a, Eq a) => a -> String

The suffix to use when displaying a number as an oridinal

liftPP :: Doc Void -> Doc

liftPP1 :: (Doc Void -> Doc Void) -> Doc -> Doc

liftPP2 :: (Doc Void -> Doc Void -> Doc Void) -> Doc -> Doc -> Doc

liftSep :: ([Doc Void] -> Doc Void) -> [Doc] -> Doc

reflow :: Text -> Doc

(<.>) :: Doc -> Doc -> Doc infixl 6

(<+>) :: Doc -> Doc -> Doc infixl 6

(</>) :: Doc -> Doc -> Doc infixl 6

($$) :: Doc -> Doc -> Doc infixl 5

sep :: [Doc] -> Doc

fsep :: [Doc] -> Doc

hsep :: [Doc] -> Doc

hcat :: [Doc] -> Doc

vcat :: [Doc] -> Doc

vsep :: [Doc] -> Doc

group :: Doc -> Doc

hang :: Doc -> Int -> Doc -> Doc

nest :: Int -> Doc -> Doc

indent :: Int -> Doc -> Doc

align :: Doc -> Doc

parens :: Doc -> Doc

braces :: Doc -> Doc

brackets :: Doc -> Doc

quotes :: Doc -> Doc

commaSep :: [Doc] -> Doc

commaSepFill :: [Doc] -> Doc

Print a comma-separated list. Lay out each item on a single line if it will fit. If an item requires multiple lines, then start it on its own line.

ppList :: [Doc] -> Doc

ppTuple :: [Doc] -> Doc

ppRecord :: [Doc] -> Doc

backticks :: Doc -> Doc

text :: String -> Doc

char :: Char -> Doc

integer :: Integer -> Doc

int :: Int -> Doc

comma :: Doc

colon :: Doc

pipe :: Doc