| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Types.PrettyPrint
- traceFix :: Fixpoint a => String -> a -> a
- class Fixpoint a where
- showFix :: Fixpoint a => a -> String
- data Tidy
- class PPrint a where
- pprintTidy :: Tidy -> a -> Doc
- pprintPrec :: Int -> Tidy -> a -> Doc
- pprint :: PPrint a => a -> Doc
- showpp :: PPrint a => a -> String
- tracepp :: PPrint a => String -> a -> a
- pprintKVs :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> Doc
- newtype DocTable = DocTable [(Doc, Doc)]
- class PTable a where
- boxHSep :: Doc -> Doc -> Doc
- boxDoc :: Box -> Doc
- docBox :: Doc -> Box
Documentation
Minimal complete definition
Instances
| Fixpoint Bool Source | |
| Fixpoint Double Source | |
| Fixpoint Int Source | |
| Fixpoint Integer Source | |
| Fixpoint () Source | |
| Fixpoint Symbol Source | |
| Fixpoint Sort Source | |
| Fixpoint FTycon Source | |
| Fixpoint Expr Source | |
| Fixpoint Bop Source | |
| Fixpoint Brel Source | |
| Fixpoint Constant Source | |
| Fixpoint SymConst Source | |
| Fixpoint Subst Source | |
| Fixpoint KVar Source | |
| Fixpoint BindEnv Source | |
| Fixpoint IBindEnv Source | |
| Fixpoint Kuts Source | |
| Fixpoint Qualifier Source | |
| Fixpoint a => Fixpoint [a] Source | |
| Fixpoint a => Fixpoint (Maybe a) Source | |
| (Ord a, Hashable a, Fixpoint a) => Fixpoint (HashSet a) Source | |
| Fixpoint a => Fixpoint (Located a) Source | |
| (Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a)) Source | |
| Fixpoint a => Fixpoint (SEnv a) Source | |
| Fixpoint a => Fixpoint (SimpC a) Source | |
| Fixpoint a => Fixpoint (SubC a) Source | |
| Fixpoint a => Fixpoint (WfC a) Source | |
| (Fixpoint a, Fixpoint b) => Fixpoint (a, b) Source | |
| (Fixpoint a, Fixpoint b, Fixpoint c) => Fixpoint (a, b, c) Source |
Implement either pprintTidy or pprintPrec
Minimal complete definition
Nothing
Instances
| PPrint Bool Source | |
| PPrint Float Source | |
| PPrint Int Source | |
| PPrint Integer Source | |
| PPrint String Source | |
| PPrint () Source | |
| PPrint Text Source | |
| PPrint Doc Source | |
| PPrint DocTable Source | |
| PPrint SrcSpan Source | |
| PPrint Error Source | |
| PPrint Symbol Source | |
| PPrint Expr Source | |
| PPrint Bop Source | |
| PPrint Brel Source | |
| PPrint Constant Source | |
| PPrint SymConst Source | |
| PPrint KVar Source | |
| PPrint CVertex Source | |
| PPrint EQual Source | |
| PPrint Qualifier Source | |
| PPrint a => PPrint [a] Source | |
| PPrint a => PPrint (Maybe a) Source | |
| PPrint a => PPrint (HashSet a) Source | |
| PPrint a => PPrint (Located a) Source | |
| PPrint a => PPrint (Sol a) Source | |
| Fixpoint a => PPrint (SimpC a) Source | |
| Fixpoint a => PPrint (SubC a) Source | |
| Fixpoint a => PPrint (WfC a) Source | |
| PPrint (Worklist a) Source | |
| (PPrint a, PPrint b) => PPrint (a, b) Source | |
| (PPrint a, PPrint b) => PPrint (HashMap a b) Source | |
| (PPrint a, PPrint b, PPrint c) => PPrint (a, b, c) Source |