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

Safe HaskellNone

Language.HERMIT.PrettyPrinter.AST

Contents

Description

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

Synopsis

HERMIT's AST Pretty-Printer for GHC Core

corePrettyH :: PrettyOptions -> PrettyH CoreTCSource

Pretty print a fragment of GHC Core using HERMIT's "AST" pretty printer. This displays the tree of constructors using nested indentation.