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

Safe HaskellNone
LanguageHaskell2010

HERMIT.PrettyPrinter.Clean

Contents

Synopsis

HERMIT's Clean Pretty-Printer for GHC Core

pretty :: PrettyPrinter Source

ppCoreTC :: PrettyH CoreTC Source

Pretty print a fragment of GHC Core using HERMIT's "Clean" pretty printer.

ppModGuts :: PrettyH ModGuts Source

ppCoreProg :: PrettyH CoreProg Source

ppCoreBind :: PrettyH CoreBind Source

ppCoreExpr :: PrettyH CoreExpr Source

ppCoreAlt :: PrettyH CoreAlt Source

ppKindOrType :: PrettyH KindOrType Source

ppCoercion :: PrettyH Coercion Source

ppForallQuantification :: PrettyH [Var] Source