hermit-0.3.2.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
ppCoreTC :: PrettyH CoreTCSource
Pretty print a fragment of GHC Core using HERMIT's "AST" pretty printer. This displays the tree of constructors using nested indentation.
ppModGuts :: PrettyH ModGutsSource
ppCoreProg :: PrettyH CoreProgSource
ppCoreBind :: PrettyH CoreBindSource
ppCoreExpr :: PrettyH CoreExprSource
ppCoreAlt :: PrettyH CoreAltSource
ppKindOrType :: PrettyH TypeSource
ppCoercion :: PrettyH CoercionSource