| Copyright | (c) Xie Ruifeng 2020 |
|---|---|
| License | AGPL-3 |
| Maintainer | krantz.xrf@outlook.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Contract.Pretty
Description
Synopsis
- makeVarName :: Natural -> String
- class PrettyPrint a where
- prettyWith :: Natural -> a -> String
- pretty :: a -> String
- prettyPrintWith :: PrettyPrint a => Natural -> a -> IO ()
- prettyPrint :: PrettyPrint a => a -> IO ()
Documentation
makeVarName :: Natural -> String Source #
Make a variable name from its internal index.
class PrettyPrint a where Source #
Pretty show for terms and types.
Minimal complete definition
Methods
prettyWith :: Natural -> a -> String Source #
Pretty show provided the number of layers of lambda abstractions.
pretty :: a -> String Source #
Pretty show assuming no outside lambda abstractions.
Instances
| PrettyPrint Term Source # | |
| PrettyPrint Type Source # | |
| PrettyPrint a => PrettyPrint [a] Source # | |
Defined in Language.Contract.Pretty | |
prettyPrintWith :: PrettyPrint a => Natural -> a -> IO () Source #
Pretty print, a putStrLn after a prettyWith.
prettyPrint :: PrettyPrint a => a -> IO () Source #