Agda.Compiler.MAlonzo.Pretty

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