Copyright | Copyright (c) 2016 the Hakaru team |
---|---|
License | BSD3 |
Maintainer | wren@community.haskell.org |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
The user-facing API
prettyPrec :: ABT Term abt => Int -> abt '[] a -> Doc Source #
Pretty-print a term at a given precendence level.
prettyAssoc :: ABT Term abt => Assoc (abt '[]) -> Doc Source #
Pretty-print a variable/term association pair.
prettyPrecAssoc :: ABT Term abt => Int -> Assoc (abt '[]) -> Doc Source #
Pretty-print an association at a given precendence level.
prettyValue :: Value a -> Doc Source #