hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
HERMIT.PrettyPrinter.AST
Contents
Description
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.
Synopsis
pretty :: PrettyPrinter Source
ppCoreTC :: PrettyH CoreTC Source
Pretty print a fragment of GHC Core using HERMIT's "AST" pretty printer. This displays the tree of constructors using nested indentation.
ppModGuts :: PrettyH ModGuts Source
ppCoreProg :: PrettyH CoreProg Source
ppCoreBind :: PrettyH CoreBind Source
ppCoreExpr :: PrettyH CoreExpr Source
ppCoreAlt :: PrettyH CoreAlt Source
ppKindOrType :: PrettyH Type Source
ppCoercion :: PrettyH Coercion Source
ppForallQuantification :: PrettyH [Var] Source