Language.Fixpoint.Types.PrettyPrint

Documentation

traceFix :: Fixpoint a => String -> a -> a

class Fixpoint a where

Minimal complete definition

toFix

Methods

toFix :: a -> Doc

simplify :: a -> a

Instances

Fixpoint Bool

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: Bool -> Doc

simplify :: Bool -> Bool

Fixpoint Double

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: Double -> Doc

simplify :: Double -> Double

Fixpoint Int

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: Int -> Doc

simplify :: Int -> Int

Fixpoint Integer

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: Integer -> Doc

simplify :: Integer -> Integer

Fixpoint ()

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: () -> Doc

simplify :: () -> ()

Fixpoint SourcePos

Defined in Language.Fixpoint.Types.Spans

Methods

toFix :: SourcePos -> Doc

simplify :: SourcePos -> SourcePos

Fixpoint Doc

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: Doc -> Doc

simplify :: Doc -> Doc

Fixpoint Text

Defined in Language.Fixpoint.Types.Names

Methods

toFix :: Text -> Doc

simplify :: Text -> Text

Fixpoint Symbol

NOTE: SymbolText

Use symbolSafeText if you want it to machine-readable, but symbolText if you want it to be human-readable.

Defined in Language.Fixpoint.Types.Names

Methods

toFix :: Symbol -> Doc

simplify :: Symbol -> Symbol

Fixpoint DataDecl

Defined in Language.Fixpoint.Types.Sorts

Methods

toFix :: DataDecl -> Doc

simplify :: DataDecl -> DataDecl

Fixpoint DataCtor

Defined in Language.Fixpoint.Types.Sorts

Methods

toFix :: DataCtor -> Doc

simplify :: DataCtor -> DataCtor

Fixpoint DataField

Defined in Language.Fixpoint.Types.Sorts

Methods

toFix :: DataField -> Doc

simplify :: DataField -> DataField

Fixpoint Sort

Defined in Language.Fixpoint.Types.Sorts

Methods

toFix :: Sort -> Doc

simplify :: Sort -> Sort

Fixpoint FTycon

Defined in Language.Fixpoint.Types.Sorts

Methods

toFix :: FTycon -> Doc

simplify :: FTycon -> FTycon

Fixpoint SortedReft

Defined in Language.Fixpoint.Types.Substitutions

Methods

toFix :: SortedReft -> Doc

simplify :: SortedReft -> SortedReft

Fixpoint Reft

Defined in Language.Fixpoint.Types.Substitutions

Methods

toFix :: Reft -> Doc

simplify :: Reft -> Reft

Fixpoint Expr

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: Expr -> Doc

simplify :: Expr -> Expr

Fixpoint Bop

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: Bop -> Doc

simplify :: Bop -> Bop

Fixpoint Brel

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: Brel -> Doc

simplify :: Brel -> Brel

Fixpoint Constant

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: Constant -> Doc

simplify :: Constant -> Constant

Fixpoint SymConst

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: SymConst -> Doc

simplify :: SymConst -> SymConst

Fixpoint Subst

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: Subst -> Doc

simplify :: Subst -> Subst

Fixpoint KVar

Defined in Language.Fixpoint.Types.Refinements

Methods

toFix :: KVar -> Doc

simplify :: KVar -> KVar

Fixpoint Error1

Defined in Language.Fixpoint.Types.Errors

Methods

toFix :: Error1 -> Doc

simplify :: Error1 -> Error1

Fixpoint Packs

Defined in Language.Fixpoint.Types.Environments

Methods

toFix :: Packs -> Doc

simplify :: Packs -> Packs

Fixpoint EBindEnv

Defined in Language.Fixpoint.Types.Environments

Methods

toFix :: EBindEnv -> Doc

simplify :: EBindEnv -> EBindEnv

Fixpoint BindEnv

Defined in Language.Fixpoint.Types.Environments

Methods

toFix :: BindEnv -> Doc

simplify :: BindEnv -> BindEnv

Fixpoint IBindEnv

Defined in Language.Fixpoint.Types.Environments

Methods

toFix :: IBindEnv -> Doc

simplify :: IBindEnv -> IBindEnv

Fixpoint TheorySymbol

Defined in Language.Fixpoint.Types.Theories

Methods

toFix :: TheorySymbol -> Doc

simplify :: TheorySymbol -> TheorySymbol

Fixpoint Rewrite

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: Rewrite -> Doc

simplify :: Rewrite -> Rewrite

Fixpoint Equation

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: Equation -> Doc

simplify :: Equation -> Equation

Fixpoint AxiomEnv

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: AxiomEnv -> Doc

simplify :: AxiomEnv -> AxiomEnv

Fixpoint Kuts

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: Kuts -> Doc

simplify :: Kuts -> Kuts

Fixpoint QualParam

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: QualParam -> Doc

simplify :: QualParam -> QualParam

Fixpoint Qualifier

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: Qualifier -> Doc

simplify :: Qualifier -> Qualifier

Fixpoint a => Fixpoint [a]

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: [a] -> Doc

simplify :: [a] -> [a]

Fixpoint a => Fixpoint (Maybe a)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: Maybe a -> Doc

simplify :: Maybe a -> Maybe a

(Ord a, Hashable a, Fixpoint a) => Fixpoint (HashSet a)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: HashSet a -> Doc

simplify :: HashSet a -> HashSet a

Fixpoint a => Fixpoint (Located a)

Defined in Language.Fixpoint.Types.Spans

Methods

toFix :: Located a -> Doc

simplify :: Located a -> Located a

(Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a))

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: FixResult (SubC a) -> Doc

simplify :: FixResult (SubC a) -> FixResult (SubC a)

Fixpoint a => Fixpoint (SEnv a)

Defined in Language.Fixpoint.Types.Environments

Methods

toFix :: SEnv a -> Doc

simplify :: SEnv a -> SEnv a

Fixpoint a => Fixpoint (SimpC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: SimpC a -> Doc

simplify :: SimpC a -> SimpC a

Fixpoint a => Fixpoint (SubC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: SubC a -> Doc

simplify :: SubC a -> SubC a

Fixpoint a => Fixpoint (WfC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: WfC a -> Doc

simplify :: WfC a -> WfC a

(Fixpoint a, Fixpoint b) => Fixpoint (a, b)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: (a, b) -> Doc

simplify :: (a, b) -> (a, b)

Fixpoint (HashMap SubcId [AutoRewrite])

Defined in Language.Fixpoint.Types.Constraints

Methods

toFix :: HashMap SubcId [AutoRewrite] -> Doc

simplify :: HashMap SubcId [AutoRewrite] -> HashMap SubcId [AutoRewrite]

(Fixpoint a, Fixpoint b, Fixpoint c) => Fixpoint (a, b, c)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

toFix :: (a, b, c) -> Doc

simplify :: (a, b, c) -> (a, b, c)

showFix :: Fixpoint a => a -> String

data Tidy

Constructors

Lossy

Full

Instances

Eq Tidy

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

(==) :: Tidy -> Tidy -> Bool

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

Ord Tidy

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

compare :: Tidy -> Tidy -> Ordering

(<) :: Tidy -> Tidy -> Bool

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

(>) :: Tidy -> Tidy -> Bool

(>=) :: Tidy -> Tidy -> Bool

max :: Tidy -> Tidy -> Tidy

min :: Tidy -> Tidy -> Tidy

class PPrint a where

Implement either pprintTidy or pprintPrec

Minimal complete definition

Nothing

Methods

pprintTidy :: Tidy -> a -> Doc

pprintPrec :: Int -> Tidy -> a -> Doc

Instances

PPrint Bool

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Bool -> Doc

pprintPrec :: Int -> Tidy -> Bool -> Doc

PPrint Float

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Float -> Doc

pprintPrec :: Int -> Tidy -> Float -> Doc

PPrint Int

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Int -> Doc

pprintPrec :: Int -> Tidy -> Int -> Doc

PPrint Integer

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Integer -> Doc

pprintPrec :: Int -> Tidy -> Integer -> Doc

PPrint ()

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> () -> Doc

pprintPrec :: Int -> Tidy -> () -> Doc

PPrint SourcePos

Defined in Language.Fixpoint.Types.Spans

Methods

pprintTidy :: Tidy -> SourcePos -> Doc

pprintPrec :: Int -> Tidy -> SourcePos -> Doc

PPrint Doc

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Doc -> Doc

pprintPrec :: Int -> Tidy -> Doc -> Doc

PPrint Text

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Text -> Doc

pprintPrec :: Int -> Tidy -> Text -> Doc

PPrint DocTable

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> DocTable -> Doc

pprintPrec :: Int -> Tidy -> DocTable -> Doc

PPrint SrcSpan

Defined in Language.Fixpoint.Types.Spans

Methods

pprintTidy :: Tidy -> SrcSpan -> Doc

pprintPrec :: Int -> Tidy -> SrcSpan -> Doc

PPrint Symbol

Defined in Language.Fixpoint.Types.Names

Methods

pprintTidy :: Tidy -> Symbol -> Doc

pprintPrec :: Int -> Tidy -> Symbol -> Doc

PPrint TCArgs

Defined in Language.Fixpoint.Types.Sorts

Methods

pprintTidy :: Tidy -> TCArgs -> Doc

pprintPrec :: Int -> Tidy -> TCArgs -> Doc

PPrint DataDecl

Defined in Language.Fixpoint.Types.Sorts

Methods

pprintTidy :: Tidy -> DataDecl -> Doc

pprintPrec :: Int -> Tidy -> DataDecl -> Doc

PPrint DataCtor

Defined in Language.Fixpoint.Types.Sorts

Methods

pprintTidy :: Tidy -> DataCtor -> Doc

pprintPrec :: Int -> Tidy -> DataCtor -> Doc

PPrint DataField

Defined in Language.Fixpoint.Types.Sorts

Methods

pprintTidy :: Tidy -> DataField -> Doc

pprintPrec :: Int -> Tidy -> DataField -> Doc

PPrint Sort

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Sort -> Doc

pprintPrec :: Int -> Tidy -> Sort -> Doc

PPrint FTycon

Defined in Language.Fixpoint.Types.Sorts

Methods

pprintTidy :: Tidy -> FTycon -> Doc

pprintPrec :: Int -> Tidy -> FTycon -> Doc

PPrint SortedReft

Defined in Language.Fixpoint.Types.Substitutions

Methods

pprintTidy :: Tidy -> SortedReft -> Doc

pprintPrec :: Int -> Tidy -> SortedReft -> Doc

PPrint Reft

Defined in Language.Fixpoint.Types.Substitutions

Methods

pprintTidy :: Tidy -> Reft -> Doc

pprintPrec :: Int -> Tidy -> Reft -> Doc

PPrint Expr

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Expr -> Doc

pprintPrec :: Int -> Tidy -> Expr -> Doc

PPrint Bop

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Bop -> Doc

pprintPrec :: Int -> Tidy -> Bop -> Doc

PPrint Brel

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Brel -> Doc

pprintPrec :: Int -> Tidy -> Brel -> Doc

PPrint Constant

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Constant -> Doc

pprintPrec :: Int -> Tidy -> Constant -> Doc

PPrint SymConst

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> SymConst -> Doc

pprintPrec :: Int -> Tidy -> SymConst -> Doc

PPrint KVSub

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> KVSub -> Doc

pprintPrec :: Int -> Tidy -> KVSub -> Doc

PPrint Subst

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> Subst -> Doc

pprintPrec :: Int -> Tidy -> Subst -> Doc

PPrint KVar

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> KVar -> Doc

pprintPrec :: Int -> Tidy -> KVar -> Doc

PPrint Trigger

Defined in Language.Fixpoint.Types.Triggers

Methods

pprintTidy :: Tidy -> Trigger -> Doc

pprintPrec :: Int -> Tidy -> Trigger -> Doc

PPrint Templates

Defined in Language.Fixpoint.Types.Templates

Methods

pprintTidy :: Tidy -> Templates -> Doc

pprintPrec :: Int -> Tidy -> Templates -> Doc

PPrint Error1

Defined in Language.Fixpoint.Types.Errors

Methods

pprintTidy :: Tidy -> Error1 -> Doc

pprintPrec :: Int -> Tidy -> Error1 -> Doc

PPrint Error

Defined in Language.Fixpoint.Types.Errors

Methods

pprintTidy :: Tidy -> Error -> Doc

pprintPrec :: Int -> Tidy -> Error -> Doc

PPrint Packs

Defined in Language.Fixpoint.Types.Environments

Methods

pprintTidy :: Tidy -> Packs -> Doc

pprintPrec :: Int -> Tidy -> Packs -> Doc

PPrint IBindEnv

Defined in Language.Fixpoint.Types.Environments

Methods

pprintTidy :: Tidy -> IBindEnv -> Doc

pprintPrec :: Int -> Tidy -> IBindEnv -> Doc

PPrint SmtSort

Defined in Language.Fixpoint.Types.Theories

Methods

pprintTidy :: Tidy -> SmtSort -> Doc

pprintPrec :: Int -> Tidy -> SmtSort -> Doc

PPrint Sem

Defined in Language.Fixpoint.Types.Theories

Methods

pprintTidy :: Tidy -> Sem -> Doc

pprintPrec :: Int -> Tidy -> Sem -> Doc

PPrint TheorySymbol

Defined in Language.Fixpoint.Types.Theories

Methods

pprintTidy :: Tidy -> TheorySymbol -> Doc

pprintPrec :: Int -> Tidy -> TheorySymbol -> Doc

PPrint Rewrite

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> Rewrite -> Doc

pprintPrec :: Int -> Tidy -> Rewrite -> Doc

PPrint Equation

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> Equation -> Doc

pprintPrec :: Int -> Tidy -> Equation -> Doc

PPrint AxiomEnv

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> AxiomEnv -> Doc

pprintPrec :: Int -> Tidy -> AxiomEnv -> Doc

PPrint QualPattern

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> QualPattern -> Doc

pprintPrec :: Int -> Tidy -> QualPattern -> Doc

PPrint QualParam

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> QualParam -> Doc

pprintPrec :: Int -> Tidy -> QualParam -> Doc

PPrint Qualifier

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> Qualifier -> Doc

pprintPrec :: Int -> Tidy -> Qualifier -> Doc

PPrint GFixSolution

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> GFixSolution -> Doc

pprintPrec :: Int -> Tidy -> GFixSolution -> Doc

PPrint Command

Defined in Language.Fixpoint.Smt.Types

Methods

pprintTidy :: Tidy -> Command -> Doc

pprintPrec :: Int -> Tidy -> Command -> Doc

PPrint BindPred

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> BindPred -> Doc

pprintPrec :: Int -> Tidy -> BindPred -> Doc

PPrint BIndex

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> BIndex -> Doc

pprintPrec :: Int -> Tidy -> BIndex -> Doc

PPrint KIndex

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> KIndex -> Doc

pprintPrec :: Int -> Tidy -> KIndex -> Doc

PPrint EQual

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> EQual -> Doc

pprintPrec :: Int -> Tidy -> EQual -> Doc

PPrint Cube

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> Cube -> Doc

pprintPrec :: Int -> Tidy -> Cube -> Doc

PPrint EbindSol

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> EbindSol -> Doc

pprintPrec :: Int -> Tidy -> EbindSol -> Doc

PPrint QBind

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> QBind -> Doc

pprintPrec :: Int -> Tidy -> QBind -> Doc

PPrint Bind

Defined in Language.Fixpoint.Horn.Types

Methods

pprintTidy :: Tidy -> Bind -> Doc

pprintPrec :: Int -> Tidy -> Bind -> Doc

PPrint Pred

Defined in Language.Fixpoint.Horn.Types

Methods

pprintTidy :: Tidy -> Pred -> Doc

pprintPrec :: Int -> Tidy -> Pred -> Doc

PPrint Rank

Defined in Language.Fixpoint.Graph.Types

Methods

pprintTidy :: Tidy -> Rank -> Doc

pprintPrec :: Int -> Tidy -> Rank -> Doc

PPrint KVGraph

Defined in Language.Fixpoint.Graph.Types

Methods

pprintTidy :: Tidy -> KVGraph -> Doc

pprintPrec :: Int -> Tidy -> KVGraph -> Doc

PPrint CVertex

Defined in Language.Fixpoint.Graph.Types

Methods

pprintTidy :: Tidy -> CVertex -> Doc

pprintPrec :: Int -> Tidy -> CVertex -> Doc

PPrint a => PPrint [a]

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> [a] -> Doc

pprintPrec :: Int -> Tidy -> [a] -> Doc

PPrint a => PPrint (Maybe a)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Maybe a -> Doc

pprintPrec :: Int -> Tidy -> Maybe a -> Doc

PPrint a => PPrint (HashSet a)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> HashSet a -> Doc

pprintPrec :: Int -> Tidy -> HashSet a -> Doc

Show a => PPrint (Trie a)

Defined in Language.Fixpoint.Utils.Trie

Methods

pprintTidy :: Tidy -> Trie a -> Doc

pprintPrec :: Int -> Tidy -> Trie a -> Doc

PPrint a => PPrint (Located a)

Defined in Language.Fixpoint.Types.Spans

Methods

pprintTidy :: Tidy -> Located a -> Doc

pprintPrec :: Int -> Tidy -> Located a -> Doc

PPrint a => PPrint (TCEmb a)

Defined in Language.Fixpoint.Types.Refinements

Methods

pprintTidy :: Tidy -> TCEmb a -> Doc

pprintPrec :: Int -> Tidy -> TCEmb a -> Doc

PPrint a => PPrint (Triggered a)

Defined in Language.Fixpoint.Types.Triggers

Methods

pprintTidy :: Tidy -> Triggered a -> Doc

pprintPrec :: Int -> Tidy -> Triggered a -> Doc

PPrint a => PPrint (SEnv a)

Defined in Language.Fixpoint.Types.Environments

Methods

pprintTidy :: Tidy -> SEnv a -> Doc

pprintPrec :: Int -> Tidy -> SEnv a -> Doc

Fixpoint a => PPrint (SimpC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> SimpC a -> Doc

pprintPrec :: Int -> Tidy -> SimpC a -> Doc

Fixpoint a => PPrint (SubC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> SubC a -> Doc

pprintPrec :: Int -> Tidy -> SubC a -> Doc

Fixpoint a => PPrint (WfC a)

Defined in Language.Fixpoint.Types.Constraints

Methods

pprintTidy :: Tidy -> WfC a -> Doc

pprintPrec :: Int -> Tidy -> WfC a -> Doc

PPrint (Cstr a)

Defined in Language.Fixpoint.Horn.Types

Methods

pprintTidy :: Tidy -> Cstr a -> Doc

pprintPrec :: Int -> Tidy -> Cstr a -> Doc

PPrint (Var a)

Defined in Language.Fixpoint.Horn.Types

Methods

pprintTidy :: Tidy -> Var a -> Doc

pprintPrec :: Int -> Tidy -> Var a -> Doc

PPrint (Elims a)

Defined in Language.Fixpoint.Graph.Deps

Methods

pprintTidy :: Tidy -> Elims a -> Doc

pprintPrec :: Int -> Tidy -> Elims a -> Doc

PPrint (Worklist a)

Defined in Language.Fixpoint.Solver.Worklist

Methods

pprintTidy :: Tidy -> Worklist a -> Doc

pprintPrec :: Int -> Tidy -> Worklist a -> Doc

(PPrint a, PPrint b) => PPrint (Either a b)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> Either a b -> Doc

pprintPrec :: Int -> Tidy -> Either a b -> Doc

(PPrint a, PPrint b) => PPrint (a, b)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> (a, b) -> Doc

pprintPrec :: Int -> Tidy -> (a, b) -> Doc

(PPrint a, PPrint b) => PPrint (HashMap a b)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> HashMap a b -> Doc

pprintPrec :: Int -> Tidy -> HashMap a b -> Doc

(PPrint a, PPrint b) => PPrint (Sol a b)

Defined in Language.Fixpoint.Types.Solutions

Methods

pprintTidy :: Tidy -> Sol a b -> Doc

pprintPrec :: Int -> Tidy -> Sol a b -> Doc

(PPrint a, PPrint b, PPrint c) => PPrint (a, b, c)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> (a, b, c) -> Doc

pprintPrec :: Int -> Tidy -> (a, b, c) -> Doc

(PPrint a, PPrint b, PPrint c, PPrint d) => PPrint (a, b, c, d)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> (a, b, c, d) -> Doc

pprintPrec :: Int -> Tidy -> (a, b, c, d) -> Doc

(PPrint a, PPrint b, PPrint c, PPrint d, PPrint e) => PPrint (a, b, c, d, e)

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> (a, b, c, d, e) -> Doc

pprintPrec :: Int -> Tidy -> (a, b, c, d, e) -> Doc

pprint :: PPrint a => a -> Doc

Top-level pretty printer

showpp :: PPrint a => a -> String

showTable :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> String

tracepp :: PPrint a => String -> a -> a

Please do not alter this.

notracepp :: PPrint a => String -> a -> a

pprintKVs :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> Doc

newtype DocTable

Constructors

DocTable [(Doc, Doc)]

Instances

Semigroup DocTable

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

(<>) :: DocTable -> DocTable -> DocTable

sconcat :: NonEmpty DocTable -> DocTable

stimes :: Integral b => b -> DocTable -> DocTable

Monoid DocTable

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

mempty :: DocTable

mappend :: DocTable -> DocTable -> DocTable

mconcat :: [DocTable] -> DocTable

PPrint DocTable

Defined in Language.Fixpoint.Types.PrettyPrint

Methods

pprintTidy :: Tidy -> DocTable -> Doc

pprintPrec :: Int -> Tidy -> DocTable -> Doc

class PTable a where

Methods

ptable :: a -> DocTable

Instances

PTable Stats

Defined in Language.Fixpoint.Solver.Stats

Methods

ptable :: Stats -> DocTable

PTable Stats

Defined in Language.Fixpoint.Solver.Worklist

Methods

ptable :: Stats -> DocTable

PTable (SInfo a)

Defined in Language.Fixpoint.Types.Constraints

Methods

ptable :: SInfo a -> DocTable

PTable (Worklist a)

Defined in Language.Fixpoint.Solver.Worklist

Methods

ptable :: Worklist a -> DocTable

boxHSep :: Doc -> Doc -> Doc

boxDoc :: Box -> Doc

docBox :: Doc -> Box