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

Safe HaskellNone

Language.HERMIT.PrettyPrinter.AST

Description

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

Synopsis

Documentation

listify :: (MDoc a -> MDoc a -> MDoc a) -> [MDoc a] -> MDoc aSource

vlist :: [MDoc a] -> MDoc aSource

like vcat and hcat, only make the list syntax explicit

hlist :: [MDoc a] -> MDoc aSource

like vcat and hcat, only make the list syntax explicit

corePrettyH :: PrettyOptions -> PrettyH CoreSource