Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Types.PrettyPrint

Synopsis

Documentation

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

class Fixpoint a where Source #

Minimal complete definition

toFix

Methods

toFix :: a -> Doc Source #

simplify :: a -> a Source #

Instances

Fixpoint Bool Source #
Methods toFix :: Bool -> Doc Source # simplify :: Bool -> Bool Source #
Fixpoint Double Source #
Methods toFix :: Double -> Doc Source # simplify :: Double -> Double Source #
Fixpoint Int Source #
Methods toFix :: Int -> Doc Source # simplify :: Int -> Int Source #
Fixpoint Integer Source #
Methods toFix :: Integer -> Doc Source # simplify :: Integer -> Integer Source #
Fixpoint () Source #
Methods toFix :: () -> Doc Source # simplify :: () -> () Source #
Fixpoint Symbol Source #
Methods toFix :: Symbol -> Doc Source # simplify :: Symbol -> Symbol Source #
Fixpoint DataDecl Source #
Methods toFix :: DataDecl -> Doc Source # simplify :: DataDecl -> DataDecl Source #
Fixpoint DataCtor Source #
Methods toFix :: DataCtor -> Doc Source # simplify :: DataCtor -> DataCtor Source #
Fixpoint DataField Source #
Methods toFix :: DataField -> Doc Source # simplify :: DataField -> DataField Source #
Fixpoint Sort Source #
Methods toFix :: Sort -> Doc Source # simplify :: Sort -> Sort Source #
Fixpoint FTycon Source #
Methods toFix :: FTycon -> Doc Source # simplify :: FTycon -> FTycon Source #
Fixpoint Expr Source #
Methods toFix :: Expr -> Doc Source # simplify :: Expr -> Expr Source #
Fixpoint Bop Source #
Methods toFix :: Bop -> Doc Source # simplify :: Bop -> Bop Source #
Fixpoint Brel Source #
Methods toFix :: Brel -> Doc Source # simplify :: Brel -> Brel Source #
Fixpoint Constant Source #
Methods toFix :: Constant -> Doc Source # simplify :: Constant -> Constant Source #
Fixpoint SymConst Source #
Methods toFix :: SymConst -> Doc Source # simplify :: SymConst -> SymConst Source #
Fixpoint Subst Source #
Methods toFix :: Subst -> Doc Source # simplify :: Subst -> Subst Source #
Fixpoint KVar Source #
Methods toFix :: KVar -> Doc Source # simplify :: KVar -> KVar Source #
Fixpoint Packs Source #
Methods toFix :: Packs -> Doc Source # simplify :: Packs -> Packs Source #
Fixpoint BindEnv Source #
Methods toFix :: BindEnv -> Doc Source # simplify :: BindEnv -> BindEnv Source #
Fixpoint IBindEnv Source #
Methods toFix :: IBindEnv -> Doc Source # simplify :: IBindEnv -> IBindEnv Source #
Fixpoint TheorySymbol Source #
Methods toFix :: TheorySymbol -> Doc Source # simplify :: TheorySymbol -> TheorySymbol Source #
Fixpoint Rewrite Source #
Methods toFix :: Rewrite -> Doc Source # simplify :: Rewrite -> Rewrite Source #
Fixpoint Equation Source #
Methods toFix :: Equation -> Doc Source # simplify :: Equation -> Equation Source #
Fixpoint AxiomEnv Source #
Methods toFix :: AxiomEnv -> Doc Source # simplify :: AxiomEnv -> AxiomEnv Source #
Fixpoint Kuts Source #
Methods toFix :: Kuts -> Doc Source # simplify :: Kuts -> Kuts Source #
Fixpoint Qualifier Source #
Methods toFix :: Qualifier -> Doc Source # simplify :: Qualifier -> Qualifier Source #
Fixpoint a => Fixpoint [a] Source #
Methods toFix :: [a] -> Doc Source # simplify :: [a] -> [a] Source #
Fixpoint a => Fixpoint (Maybe a) Source #
Methods toFix :: Maybe a -> Doc Source # simplify :: Maybe a -> Maybe a Source #
(Ord a, Hashable a, Fixpoint a) => Fixpoint (HashSet a) Source #
Methods toFix :: HashSet a -> Doc Source # simplify :: HashSet a -> HashSet a Source #
Fixpoint a => Fixpoint (Located a) Source #
Methods toFix :: Located a -> Doc Source # simplify :: Located a -> Located a Source #
(Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a)) Source #
Methods toFix :: FixResult (SubC a) -> Doc Source # simplify :: FixResult (SubC a) -> FixResult (SubC a) Source #
Fixpoint a => Fixpoint (SEnv a) Source #
Methods toFix :: SEnv a -> Doc Source # simplify :: SEnv a -> SEnv a Source #
Fixpoint a => Fixpoint (SimpC a) Source #
Methods toFix :: SimpC a -> Doc Source # simplify :: SimpC a -> SimpC a Source #
Fixpoint a => Fixpoint (SubC a) Source #
Methods toFix :: SubC a -> Doc Source # simplify :: SubC a -> SubC a Source #
Fixpoint a => Fixpoint (WfC a) Source #
Methods toFix :: WfC a -> Doc Source # simplify :: WfC a -> WfC a Source #
(Fixpoint a, Fixpoint b) => Fixpoint (a, b) Source #
Methods toFix :: (a, b) -> Doc Source # simplify :: (a, b) -> (a, b) Source #
(Fixpoint a, Fixpoint b, Fixpoint c) => Fixpoint (a, b, c) Source #
Methods toFix :: (a, b, c) -> Doc Source # simplify :: (a, b, c) -> (a, b, c) Source #

showFix :: Fixpoint a => a -> String Source #

data Tidy Source #

Constructors

Lossy
Full

Instances

Eq Tidy Source #
Methods (==) :: Tidy -> Tidy -> Bool # (/=) :: Tidy -> Tidy -> Bool #
Ord Tidy Source #
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 Source #

Implement either pprintTidy or pprintPrec

Methods

pprintTidy :: Tidy -> a -> Doc Source #

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

Instances

PPrint Bool Source #
Methods pprintTidy :: Tidy -> Bool -> Doc Source # pprintPrec :: Int -> Tidy -> Bool -> Doc Source #
PPrint Float Source #
Methods pprintTidy :: Tidy -> Float -> Doc Source # pprintPrec :: Int -> Tidy -> Float -> Doc Source #
PPrint Int Source #
Methods pprintTidy :: Tidy -> Int -> Doc Source # pprintPrec :: Int -> Tidy -> Int -> Doc Source #
PPrint Integer Source #
Methods pprintTidy :: Tidy -> Integer -> Doc Source # pprintPrec :: Int -> Tidy -> Integer -> Doc Source #
PPrint () Source #
Methods pprintTidy :: Tidy -> () -> Doc Source # pprintPrec :: Int -> Tidy -> () -> Doc Source #
PPrint Text Source #
Methods pprintTidy :: Tidy -> Text -> Doc Source # pprintPrec :: Int -> Tidy -> Text -> Doc Source #
PPrint Doc Source #
Methods pprintTidy :: Tidy -> Doc -> Doc Source # pprintPrec :: Int -> Tidy -> Doc -> Doc Source #
PPrint DocTable Source #
Methods pprintTidy :: Tidy -> DocTable -> Doc Source # pprintPrec :: Int -> Tidy -> DocTable -> Doc Source #
PPrint SrcSpan Source #
Methods pprintTidy :: Tidy -> SrcSpan -> Doc Source # pprintPrec :: Int -> Tidy -> SrcSpan -> Doc Source #
PPrint Error Source #
Methods pprintTidy :: Tidy -> Error -> Doc Source # pprintPrec :: Int -> Tidy -> Error -> Doc Source #
PPrint Symbol Source #
Methods pprintTidy :: Tidy -> Symbol -> Doc Source # pprintPrec :: Int -> Tidy -> Symbol -> Doc Source #
PPrint DataDecl Source #
Methods pprintTidy :: Tidy -> DataDecl -> Doc Source # pprintPrec :: Int -> Tidy -> DataDecl -> Doc Source #
PPrint DataCtor Source #
Methods pprintTidy :: Tidy -> DataCtor -> Doc Source # pprintPrec :: Int -> Tidy -> DataCtor -> Doc Source #
PPrint DataField Source #
Methods pprintTidy :: Tidy -> DataField -> Doc Source # pprintPrec :: Int -> Tidy -> DataField -> Doc Source #
PPrint FTycon Source #
Methods pprintTidy :: Tidy -> FTycon -> Doc Source # pprintPrec :: Int -> Tidy -> FTycon -> Doc Source #
PPrint Expr Source #
Methods pprintTidy :: Tidy -> Expr -> Doc Source # pprintPrec :: Int -> Tidy -> Expr -> Doc Source #
PPrint Bop Source #
Methods pprintTidy :: Tidy -> Bop -> Doc Source # pprintPrec :: Int -> Tidy -> Bop -> Doc Source #
PPrint Brel Source #
Methods pprintTidy :: Tidy -> Brel -> Doc Source # pprintPrec :: Int -> Tidy -> Brel -> Doc Source #
PPrint Constant Source #
Methods pprintTidy :: Tidy -> Constant -> Doc Source # pprintPrec :: Int -> Tidy -> Constant -> Doc Source #
PPrint SymConst Source #
Methods pprintTidy :: Tidy -> SymConst -> Doc Source # pprintPrec :: Int -> Tidy -> SymConst -> Doc Source #
PPrint KVSub Source #
Methods pprintTidy :: Tidy -> KVSub -> Doc Source # pprintPrec :: Int -> Tidy -> KVSub -> Doc Source #
PPrint Subst Source #
Methods pprintTidy :: Tidy -> Subst -> Doc Source # pprintPrec :: Int -> Tidy -> Subst -> Doc Source #
PPrint KVar Source #
Methods pprintTidy :: Tidy -> KVar -> Doc Source # pprintPrec :: Int -> Tidy -> KVar -> Doc Source #
PPrint Packs Source #
Methods pprintTidy :: Tidy -> Packs -> Doc Source # pprintPrec :: Int -> Tidy -> Packs -> Doc Source #
PPrint IBindEnv Source #
Methods pprintTidy :: Tidy -> IBindEnv -> Doc Source # pprintPrec :: Int -> Tidy -> IBindEnv -> Doc Source #
PPrint SmtSort Source #
Methods pprintTidy :: Tidy -> SmtSort -> Doc Source # pprintPrec :: Int -> Tidy -> SmtSort -> Doc Source #
PPrint Sem Source #
Methods pprintTidy :: Tidy -> Sem -> Doc Source # pprintPrec :: Int -> Tidy -> Sem -> Doc Source #
PPrint TheorySymbol Source #
Methods pprintTidy :: Tidy -> TheorySymbol -> Doc Source # pprintPrec :: Int -> Tidy -> TheorySymbol -> Doc Source #
PPrint Trigger Source #
Methods pprintTidy :: Tidy -> Trigger -> Doc Source # pprintPrec :: Int -> Tidy -> Trigger -> Doc Source #
PPrint Equation Source #
Methods pprintTidy :: Tidy -> Equation -> Doc Source # pprintPrec :: Int -> Tidy -> Equation -> Doc Source #
PPrint Qualifier Source #
Methods pprintTidy :: Tidy -> Qualifier -> Doc Source # pprintPrec :: Int -> Tidy -> Qualifier -> Doc Source #
PPrint GFixSolution Source #
Methods pprintTidy :: Tidy -> GFixSolution -> Doc Source # pprintPrec :: Int -> Tidy -> GFixSolution -> Doc Source #
PPrint Command Source #
Methods pprintTidy :: Tidy -> Command -> Doc Source # pprintPrec :: Int -> Tidy -> Command -> Doc Source #
PPrint BindPred Source #
Methods pprintTidy :: Tidy -> BindPred -> Doc Source # pprintPrec :: Int -> Tidy -> BindPred -> Doc Source #
PPrint BIndex Source #
Methods pprintTidy :: Tidy -> BIndex -> Doc Source # pprintPrec :: Int -> Tidy -> BIndex -> Doc Source #
PPrint KIndex Source #
Methods pprintTidy :: Tidy -> KIndex -> Doc Source # pprintPrec :: Int -> Tidy -> KIndex -> Doc Source #
PPrint EQual Source #
Methods pprintTidy :: Tidy -> EQual -> Doc Source # pprintPrec :: Int -> Tidy -> EQual -> Doc Source #
PPrint Cube Source #
Methods pprintTidy :: Tidy -> Cube -> Doc Source # pprintPrec :: Int -> Tidy -> Cube -> Doc Source #
PPrint QBind Source #
Methods pprintTidy :: Tidy -> QBind -> Doc Source # pprintPrec :: Int -> Tidy -> QBind -> Doc Source #
PPrint Rank Source #
Methods pprintTidy :: Tidy -> Rank -> Doc Source # pprintPrec :: Int -> Tidy -> Rank -> Doc Source #
PPrint KVGraph Source #
Methods pprintTidy :: Tidy -> KVGraph -> Doc Source # pprintPrec :: Int -> Tidy -> KVGraph -> Doc Source #
PPrint CVertex Source #
Methods pprintTidy :: Tidy -> CVertex -> Doc Source # pprintPrec :: Int -> Tidy -> CVertex -> Doc Source #
PPrint a => PPrint [a] Source #
Methods pprintTidy :: Tidy -> [a] -> Doc Source # pprintPrec :: Int -> Tidy -> [a] -> Doc Source #
PPrint a => PPrint (Maybe a) Source #
Methods pprintTidy :: Tidy -> Maybe a -> Doc Source # pprintPrec :: Int -> Tidy -> Maybe a -> Doc Source #
PPrint a => PPrint (HashSet a) Source #
Methods pprintTidy :: Tidy -> HashSet a -> Doc Source # pprintPrec :: Int -> Tidy -> HashSet a -> Doc Source #
PPrint a => PPrint (Located a) Source #
Methods pprintTidy :: Tidy -> Located a -> Doc Source # pprintPrec :: Int -> Tidy -> Located a -> Doc Source #
PPrint a => PPrint (SEnv a) Source #
Methods pprintTidy :: Tidy -> SEnv a -> Doc Source # pprintPrec :: Int -> Tidy -> SEnv a -> Doc Source #
PPrint a => PPrint (Triggered a) Source #
Methods pprintTidy :: Tidy -> Triggered a -> Doc Source # pprintPrec :: Int -> Tidy -> Triggered a -> Doc Source #
Fixpoint a => PPrint (SimpC a) Source #
Methods pprintTidy :: Tidy -> SimpC a -> Doc Source # pprintPrec :: Int -> Tidy -> SimpC a -> Doc Source #
Fixpoint a => PPrint (SubC a) Source #
Methods pprintTidy :: Tidy -> SubC a -> Doc Source # pprintPrec :: Int -> Tidy -> SubC a -> Doc Source #
Fixpoint a => PPrint (WfC a) Source #
Methods pprintTidy :: Tidy -> WfC a -> Doc Source # pprintPrec :: Int -> Tidy -> WfC a -> Doc Source #
PPrint (Elims a) Source #
Methods pprintTidy :: Tidy -> Elims a -> Doc Source # pprintPrec :: Int -> Tidy -> Elims a -> Doc Source #
PPrint (Worklist a) Source #
Methods pprintTidy :: Tidy -> Worklist a -> Doc Source # pprintPrec :: Int -> Tidy -> Worklist a -> Doc Source #
(PPrint a, PPrint b) => PPrint (a, b) Source #
Methods pprintTidy :: Tidy -> (a, b) -> Doc Source # pprintPrec :: Int -> Tidy -> (a, b) -> Doc Source #
(PPrint a, PPrint b) => PPrint (HashMap a b) Source #
Methods pprintTidy :: Tidy -> HashMap a b -> Doc Source # pprintPrec :: Int -> Tidy -> HashMap a b -> Doc Source #
(PPrint a, PPrint b) => PPrint (Sol a b) Source #
Methods pprintTidy :: Tidy -> Sol a b -> Doc Source # pprintPrec :: Int -> Tidy -> Sol a b -> Doc Source #
(PPrint a, PPrint b, PPrint c) => PPrint (a, b, c) Source #
Methods pprintTidy :: Tidy -> (a, b, c) -> Doc Source # pprintPrec :: Int -> Tidy -> (a, b, c) -> Doc Source #
(PPrint a, PPrint b, PPrint c, PPrint d) => PPrint (a, b, c, d) Source #
Methods pprintTidy :: Tidy -> (a, b, c, d) -> Doc Source # pprintPrec :: Int -> Tidy -> (a, b, c, d) -> Doc Source #
(PPrint a, PPrint b, PPrint c, PPrint d, PPrint e) => PPrint (a, b, c, d, e) Source #
Methods pprintTidy :: Tidy -> (a, b, c, d, e) -> Doc Source # pprintPrec :: Int -> Tidy -> (a, b, c, d, e) -> Doc Source #

pprint :: PPrint a => a -> Doc Source #

Top-level pretty printer

showpp :: PPrint a => a -> String Source #

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

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

Please do not alter this.

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

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

newtype DocTable Source #

Constructors

DocTable [(Doc, Doc)]

Instances

Monoid DocTable Source #
Methods mempty :: DocTable # mappend :: DocTable -> DocTable -> DocTable # mconcat :: [DocTable] -> DocTable #
PPrint DocTable Source #
Methods pprintTidy :: Tidy -> DocTable -> Doc Source # pprintPrec :: Int -> Tidy -> DocTable -> Doc Source #

class PTable a where Source #

Minimal complete definition

ptable

Methods

ptable :: a -> DocTable Source #

Instances

PTable Stats Source #
Methods ptable :: Stats -> DocTable Source #
PTable Stats Source #
Methods ptable :: Stats -> DocTable Source #
PTable (SInfo a) Source #
Methods ptable :: SInfo a -> DocTable Source #
PTable (Worklist a) Source #
Methods ptable :: Worklist a -> DocTable Source #

boxHSep :: Doc -> Doc -> Doc Source #

boxDoc :: Box -> Doc Source #

docBox :: Doc -> Box Source #