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

Safe HaskellNone

HERMIT.PrettyPrinter.Clean

Contents

Synopsis

HERMIT's Clean Pretty-Printer for GHC Core

ppCoreTC :: PrettyH CoreTCSource

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

ppModGuts :: PrettyH ModGutsSource

ppCoreProg :: PrettyH CoreProgSource

ppCoreBind :: PrettyH CoreBindSource

ppCoreExpr :: PrettyH CoreExprSource

ppCoreAlt :: PrettyH CoreAltSource

ppKindOrType :: PrettyH KindOrTypeSource

ppCoercion :: PrettyH CoercionSource