hermit-0.3.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None

HERMIT.PrettyPrinter.GHC

Contents

GHC's standard Pretty-Printer for GHC Core

Description

Output the raw Expr constructors. Helpful for writing pattern matching rewrites.

Synopsis

GHC's standard Pretty-Printer for GHC Core

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