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

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.MAlonzo.Pretty

Contents

Documentation

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

Orphan instances

Pretty TyVarBind # 
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 # 
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 # 
Pretty Decl # 

Methods

pretty :: Decl -> Doc #

prettyPrec :: Int -> Decl -> Doc #

Pretty ImportSpec # 
Pretty ImportDecl # 
Pretty ModulePragma # 
Pretty Module # 

Methods

pretty :: Module -> Doc #

prettyPrec :: Int -> Module -> Doc #