Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Compiler.MAlonzo.Pretty

Contents

- Orphan instances

# Documentation

prettyPrint :: Pretty a => a -> String #

prettyWhere :: Maybe Binds -> Doc -> Doc #

prettyRhs :: String -> Rhs -> Doc #

prettyGuardedRhs :: String -> GuardedRhs -> Doc #

isOperator :: QName -> Bool #

prettyQName :: QName -> Doc #

# Orphan instances

Pretty TyVarBind # |
Methods pretty :: TyVarBind -> Doc # prettyPrec :: Int -> TyVarBind -> Doc #
Pretty QOp # |
Methods pretty :: QOp -> Doc # prettyPrec :: Int -> QOp -> Doc #
Pretty Name # |
Methods pretty :: Name -> Doc # prettyPrec :: Int -> Name -> Doc #
Pretty QName # |
Methods pretty :: QName -> Doc # prettyPrec :: Int -> QName -> Doc #
Pretty ModuleName # |
Methods pretty :: ModuleName -> Doc # prettyPrec :: Int -> ModuleName -> Doc #
Pretty Literal # |
Methods pretty :: Literal -> Doc # prettyPrec :: Int -> Literal -> Doc #
Pretty Alt # |
Methods pretty :: Alt -> Doc # prettyPrec :: Int -> Alt -> Doc #
Pretty Exp # |
Methods pretty :: Exp -> Doc # prettyPrec :: Int -> Exp -> Doc #
Pretty Stmt # |
Methods pretty :: Stmt -> Doc # prettyPrec :: Int -> Stmt -> Doc #
Pretty Pat # |
Methods pretty :: Pat -> Doc # prettyPrec :: Int -> Pat -> Doc #
Pretty Type # |
Methods pretty :: Type -> Doc # prettyPrec :: Int -> Type -> Doc #
Pretty Match # |
Methods pretty :: Match -> Doc # prettyPrec :: Int -> Match -> Doc #
Pretty Binds # |
Methods pretty :: Binds -> Doc # prettyPrec :: Int -> Binds -> Doc #
Pretty ConDecl # |
Methods pretty :: ConDecl -> Doc # prettyPrec :: Int -> ConDecl -> Doc #
Pretty DataOrNew # |
Methods pretty :: DataOrNew -> Doc # prettyPrec :: Int -> DataOrNew -> Doc #
Pretty Decl # |
Methods pretty :: Decl -> Doc # prettyPrec :: Int -> Decl -> Doc #
Pretty ImportSpec # |
Methods pretty :: ImportSpec -> Doc # prettyPrec :: Int -> ImportSpec -> Doc #
Pretty ImportDecl # |
Methods pretty :: ImportDecl -> Doc # prettyPrec :: Int -> ImportDecl -> Doc #
Pretty ModulePragma # |
Methods pretty :: ModulePragma -> Doc # prettyPrec :: Int -> ModulePragma -> Doc #
Pretty Module # |
Methods pretty :: Module -> Doc # prettyPrec :: Int -> Module -> Doc #