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

Safe HaskellSafe-Infered

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, hlist :: [MDoc a] -> MDoc aSource

like vcat and hcat, only make the list syntax explicit