hermit-0.3.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
HERMIT.PrettyPrinter.Clean
Contents
Synopsis
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