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

prettyList :: [TyVarBind] -> Doc

Pretty QOp

Methods

pretty :: QOp -> Doc

prettyPrec :: Int -> QOp -> Doc

prettyList :: [QOp] -> Doc

Pretty Name

Methods

pretty :: Name -> Doc

prettyPrec :: Int -> Name -> Doc

prettyList :: [Name] -> Doc

Pretty QName

Methods

pretty :: QName -> Doc

prettyPrec :: Int -> QName -> Doc

prettyList :: [QName] -> Doc

Pretty ModuleName

Methods

pretty :: ModuleName -> Doc

prettyPrec :: Int -> ModuleName -> Doc

prettyList :: [ModuleName] -> Doc

Pretty Literal

Methods

pretty :: Literal -> Doc

prettyPrec :: Int -> Literal -> Doc

prettyList :: [Literal] -> Doc

Pretty Alt

Methods

pretty :: Alt -> Doc

prettyPrec :: Int -> Alt -> Doc

prettyList :: [Alt] -> Doc

Pretty Exp

Methods

pretty :: Exp -> Doc

prettyPrec :: Int -> Exp -> Doc

prettyList :: [Exp] -> Doc

Pretty Stmt

Methods

pretty :: Stmt -> Doc

prettyPrec :: Int -> Stmt -> Doc

prettyList :: [Stmt] -> Doc

Pretty Pat

Methods

pretty :: Pat -> Doc

prettyPrec :: Int -> Pat -> Doc

prettyList :: [Pat] -> Doc

Pretty Type

Methods

pretty :: Type -> Doc

prettyPrec :: Int -> Type -> Doc

prettyList :: [Type] -> Doc

Pretty Match

Methods

pretty :: Match -> Doc

prettyPrec :: Int -> Match -> Doc

prettyList :: [Match] -> Doc

Pretty Binds

Methods

pretty :: Binds -> Doc

prettyPrec :: Int -> Binds -> Doc

prettyList :: [Binds] -> Doc

Pretty Strictness

Methods

pretty :: Strictness -> Doc

prettyPrec :: Int -> Strictness -> Doc

prettyList :: [Strictness] -> Doc

Pretty ConDecl

Methods

pretty :: ConDecl -> Doc

prettyPrec :: Int -> ConDecl -> Doc

prettyList :: [ConDecl] -> Doc

Pretty DataOrNew

Methods

pretty :: DataOrNew -> Doc

prettyPrec :: Int -> DataOrNew -> Doc

prettyList :: [DataOrNew] -> Doc

Pretty Decl

Methods

pretty :: Decl -> Doc

prettyPrec :: Int -> Decl -> Doc

prettyList :: [Decl] -> Doc

Pretty ImportSpec

Methods

pretty :: ImportSpec -> Doc

prettyPrec :: Int -> ImportSpec -> Doc

prettyList :: [ImportSpec] -> Doc

Pretty ImportDecl

Methods

pretty :: ImportDecl -> Doc

prettyPrec :: Int -> ImportDecl -> Doc

prettyList :: [ImportDecl] -> Doc

Pretty ModulePragma

Methods

pretty :: ModulePragma -> Doc

prettyPrec :: Int -> ModulePragma -> Doc

prettyList :: [ModulePragma] -> Doc

Pretty Module

Methods

pretty :: Module -> Doc

prettyPrec :: Int -> Module -> Doc

prettyList :: [Module] -> Doc