| Maintainer | maurerl@cs.uoregon.edu |
|---|---|
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.SequentCore.Pretty
Description
Instances and functions for pretty-printing Sequent Core terms using GHC's built-in pretty printer.
- pprTopLevelBinds :: OutputableBndr b => [Bind b] -> SDoc
Documentation
pprTopLevelBinds :: OutputableBndr b => [Bind b] -> SDoc Source
Print the given bindings as a sequence of top-level bindings.