hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
HERMIT.PrettyPrinter.GHC
Contents
Description
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.
Synopsis
pretty :: PrettyPrinter Source
ppCoreTC :: PrettyH CoreTC Source
This pretty printer is just a reflection of GHC's standard pretty printer.
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