Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.MAlonzo.Pretty

Documentation

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

prettyRhs :: String -> Rhs -> Doc Source #

Orphan instances

Pretty Alt Source # 
Instance details

Methods

pretty :: Alt -> Doc Source #

prettyPrec :: Int -> Alt -> Doc Source #

prettyList :: [Alt] -> Doc Source #

Pretty Binds Source # 
Instance details

Pretty ConDecl Source # 
Instance details

Pretty DataOrNew Source # 
Instance details

Pretty Decl Source # 
Instance details

Methods

pretty :: Decl -> Doc Source #

prettyPrec :: Int -> Decl -> Doc Source #

prettyList :: [Decl] -> Doc Source #

Pretty Exp Source # 
Instance details

Methods

pretty :: Exp -> Doc Source #

prettyPrec :: Int -> Exp -> Doc Source #

prettyList :: [Exp] -> Doc Source #

Pretty ImportDecl Source # 
Instance details

Pretty ImportSpec Source # 
Instance details

Pretty Literal Source # 
Instance details

Pretty Match Source # 
Instance details

Pretty Module Source # 
Instance details

Pretty ModuleName Source # 
Instance details

Pretty ModulePragma Source # 
Instance details

Pretty Name Source # 
Instance details

Methods

pretty :: Name -> Doc Source #

prettyPrec :: Int -> Name -> Doc Source #

prettyList :: [Name] -> Doc Source #

Pretty Pat Source # 
Instance details

Methods

pretty :: Pat -> Doc Source #

prettyPrec :: Int -> Pat -> Doc Source #

prettyList :: [Pat] -> Doc Source #

Pretty QName Source # 
Instance details

Pretty QOp Source # 
Instance details

Methods

pretty :: QOp -> Doc Source #

prettyPrec :: Int -> QOp -> Doc Source #

prettyList :: [QOp] -> Doc Source #

Pretty Stmt Source # 
Instance details

Methods

pretty :: Stmt -> Doc Source #

prettyPrec :: Int -> Stmt -> Doc Source #

prettyList :: [Stmt] -> Doc Source #

Pretty Strictness Source # 
Instance details

Pretty TyVarBind Source # 
Instance details

Pretty Type Source # 
Instance details

Methods

pretty :: Type -> Doc Source #

prettyPrec :: Int -> Type -> Doc Source #

prettyList :: [Type] -> Doc Source #