| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
LambdaCube.SystemFw_.PrettyPrinter
Description
Documentation
prettyUnnamedTerm :: LCTerm -> Text Source #
prettyShowUnnamedTerm :: LCTerm -> String Source #
prettyUnnamedType :: LCType -> Text Source #
prettyShowUnnamedType :: LCType -> String Source #
prettyUnnamedKind :: LCKind -> Text Source #
prettyShowUnnamedKind :: LCKind -> String Source #