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

Safe HaskellNone

Language.HERMIT.PrettyPrinter.Clean

Contents

Synopsis

HERMIT's Clean Pretty-Printer for GHC Core

corePrettyH :: PrettyOptions -> PrettyH CoreSource

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