Safe Haskell | None |
---|
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.
- listify :: (MDoc a -> MDoc a -> MDoc a) -> [MDoc a] -> MDoc a
- vlist :: [MDoc a] -> MDoc a
- hlist :: [MDoc a] -> MDoc a
- data RetExpr
- isAtom :: RetExpr -> Bool
- specialSymbol :: SpecialSymbol -> DocH
- symbol :: Char -> DocH
- keyword :: String -> DocH
- ppParens :: DocH -> DocH
- atomExpr :: RetExpr -> DocH
- normalExpr :: RetExpr -> DocH
- typeSymbol :: DocH
- typeBindSymbol :: DocH
- corePrettyH :: PrettyOptions -> PrettyH Core