Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.MAlonzo.Pretty
Contents
Documentation
prettyPrint :: Pretty a => a -> String #
prettyGuardedRhs :: String -> GuardedRhs -> Doc #
isOperator :: QName -> Bool #
prettyQName :: QName -> Doc #
Agda-2.5.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.MAlonzo.Pretty
Contents
prettyPrint :: Pretty a => a -> String #
prettyGuardedRhs :: String -> GuardedRhs -> Doc #
isOperator :: QName -> Bool #
prettyQName :: QName -> Doc #