hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.PrettyPrinter.AST
Description
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.
Synopsis
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
corePrettyH :: PrettyOptions -> PrettyH CoreSource