HOL.Print

Documentation

isSymbolChar :: Char -> Bool

isSymbolString :: String -> Bool

ppSymbolName :: Name -> Doc

type PrefixOp = Doc -> Doc

ppPrefixOps :: [PrefixOp] -> Doc -> Doc

type Prec = Int

data Assoc

Constructors

LeftAssoc

RightAssoc

NonAssoc

Instances

Eq Assoc

Methods

(==) :: Assoc -> Assoc -> Bool

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

Ord Assoc

Methods

compare :: Assoc -> Assoc -> Ordering

(<) :: Assoc -> Assoc -> Bool

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

(>) :: Assoc -> Assoc -> Bool

(>=) :: Assoc -> Assoc -> Bool

max :: Assoc -> Assoc -> Assoc

min :: Assoc -> Assoc -> Assoc

Show Assoc

Methods

showsPrec :: Int -> Assoc -> ShowS

show :: Assoc -> String

showList :: [Assoc] -> ShowS

type InfixOp = (Prec, Assoc, Doc -> Doc)

ppInfixOps :: (a -> Maybe (InfixOp, a, a)) -> (Bool -> a -> Doc) -> a -> Doc

class Printable a where

Minimal complete definition

toDoc

Methods

toDoc :: a -> Doc

toStringWith :: Style -> a -> String

toString :: a -> String

Instances

Printable Integer

Methods

toDoc :: Integer -> Doc

toStringWith :: Style -> Integer -> String

toString :: Integer -> String

Printable Doc

Methods

toDoc :: Doc -> Doc

toStringWith :: Style -> Doc -> String

toString :: Doc -> String

Printable Name

Methods

toDoc :: Name -> Doc

toStringWith :: Style -> Name -> String

toString :: Name -> String

Printable Namespace

Methods

toDoc :: Namespace -> Doc

toStringWith :: Style -> Namespace -> String

toString :: Namespace -> String

Printable Term

Methods

toDoc :: Term -> Doc

toStringWith :: Style -> Term -> String

toString :: Term -> String

Printable Const

Methods

toDoc :: Const -> Doc

toStringWith :: Style -> Const -> String

toString :: Const -> String

Printable Var

Methods

toDoc :: Var -> Doc

toStringWith :: Style -> Var -> String

toString :: Var -> String

Printable Type

Methods

toDoc :: Type -> Doc

toStringWith :: Style -> Type -> String

toString :: Type -> String

Printable TypeOp

Methods

toDoc :: TypeOp -> Doc

toStringWith :: Style -> TypeOp -> String

toString :: TypeOp -> String

Printable TypeVar

Methods

toDoc :: TypeVar -> Doc

toStringWith :: Style -> TypeVar -> String

toString :: TypeVar -> String

Printable TypeSubst

Methods

toDoc :: TypeSubst -> Doc

toStringWith :: Style -> TypeSubst -> String

toString :: TypeSubst -> String

Printable TermAlpha

Methods

toDoc :: TermAlpha -> Doc

toStringWith :: Style -> TermAlpha -> String

toString :: TermAlpha -> String

Printable Sequent

Methods

toDoc :: Sequent -> Doc

toStringWith :: Style -> Sequent -> String

toString :: Sequent -> String

Printable Thm

Methods

toDoc :: Thm -> Doc

toStringWith :: Style -> Thm -> String

toString :: Thm -> String

Printable Interpret

Methods

toDoc :: Interpret -> Doc

toStringWith :: Style -> Interpret -> String

toString :: Interpret -> String

Printable Renames

Methods

toDoc :: Renames -> Doc

toStringWith :: Style -> Renames -> String

toString :: Renames -> String

Printable Rename

Methods

toDoc :: Rename -> Doc

toStringWith :: Style -> Rename -> String

toString :: Rename -> String

Printable Symbol

Methods

toDoc :: Symbol -> Doc

toStringWith :: Style -> Symbol -> String

toString :: Symbol -> String

Printable Theory

Methods

toDoc :: Theory -> Doc

toStringWith :: Style -> Theory -> String

toString :: Theory -> String

Printable State

Methods

toDoc :: State -> Doc

toStringWith :: Style -> State -> String

toString :: State -> String

Printable Command

Methods

toDoc :: Command -> Doc

toStringWith :: Style -> Command -> String

toString :: Command -> String

Printable Object

Methods

toDoc :: Object -> Doc

toStringWith :: Style -> Object -> String

toString :: Object -> String

Printable Number

Methods

toDoc :: Number -> Doc

toStringWith :: Style -> Number -> String

toString :: Number -> String

Printable Package

Methods

toDoc :: Package -> Doc

toStringWith :: Style -> Package -> String

toString :: Package -> String

Printable Block

Methods

toDoc :: Block -> Doc

toStringWith :: Style -> Block -> String

toString :: Block -> String

Printable File

Methods

toDoc :: File -> Doc

toStringWith :: Style -> File -> String

toString :: File -> String

Printable Info

Methods

toDoc :: Info -> Doc

toStringWith :: Style -> Info -> String

toString :: Info -> String

Printable KeyValue

Methods

toDoc :: KeyValue -> Doc

toStringWith :: Style -> KeyValue -> String

toString :: KeyValue -> String

Printable NameVersion

Methods

toDoc :: NameVersion -> Doc

toStringWith :: Style -> NameVersion -> String

toString :: NameVersion -> String

Printable Version

Methods

toDoc :: Version -> Doc

toStringWith :: Style -> Version -> String

toString :: Version -> String

Printable Name

Methods

toDoc :: Name -> Doc

toStringWith :: Style -> Name -> String

toString :: Name -> String

Printable a => Printable [a]

Methods

toDoc :: [a] -> Doc

toStringWith :: Style -> [a] -> String

toString :: [a] -> String

Printable a => Printable (Set a)

Methods

toDoc :: Set a -> Doc

toStringWith :: Style -> Set a -> String

toString :: Set a -> String

quoteNamespace :: Namespace -> Doc

quoteName :: Name -> Doc