Agda-2.5.4: 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 #
Instance details Methods pretty :: TyVarBind -> Doc # prettyPrec :: Int -> TyVarBind -> Doc # prettyList :: [TyVarBind] -> Doc #
Pretty QOp #
Instance details Methods pretty :: QOp -> Doc # prettyPrec :: Int -> QOp -> Doc # prettyList :: [QOp] -> Doc #
Pretty Name #
Instance details Methods pretty :: Name -> Doc # prettyPrec :: Int -> Name -> Doc # prettyList :: [Name] -> Doc #
Pretty QName #
Instance details Methods pretty :: QName -> Doc # prettyPrec :: Int -> QName -> Doc # prettyList :: [QName] -> Doc #
Pretty ModuleName #
Instance details Methods pretty :: ModuleName -> Doc # prettyPrec :: Int -> ModuleName -> Doc # prettyList :: [ModuleName] -> Doc #
Pretty Literal #
Instance details Methods pretty :: Literal -> Doc # prettyPrec :: Int -> Literal -> Doc # prettyList :: [Literal] -> Doc #
Pretty Alt #
Instance details Methods pretty :: Alt -> Doc # prettyPrec :: Int -> Alt -> Doc # prettyList :: [Alt] -> Doc #
Pretty Exp #
Instance details Methods pretty :: Exp -> Doc # prettyPrec :: Int -> Exp -> Doc # prettyList :: [Exp] -> Doc #
Pretty Stmt #
Instance details Methods pretty :: Stmt -> Doc # prettyPrec :: Int -> Stmt -> Doc # prettyList :: [Stmt] -> Doc #
Pretty Pat #
Instance details Methods pretty :: Pat -> Doc # prettyPrec :: Int -> Pat -> Doc # prettyList :: [Pat] -> Doc #
Pretty Type #
Instance details Methods pretty :: Type -> Doc # prettyPrec :: Int -> Type -> Doc # prettyList :: [Type] -> Doc #
Pretty Match #
Instance details Methods pretty :: Match -> Doc # prettyPrec :: Int -> Match -> Doc # prettyList :: [Match] -> Doc #
Pretty Binds #
Instance details Methods pretty :: Binds -> Doc # prettyPrec :: Int -> Binds -> Doc # prettyList :: [Binds] -> Doc #
Pretty Strictness #
Instance details Methods pretty :: Strictness -> Doc # prettyPrec :: Int -> Strictness -> Doc # prettyList :: [Strictness] -> Doc #
Pretty ConDecl #
Instance details Methods pretty :: ConDecl -> Doc # prettyPrec :: Int -> ConDecl -> Doc # prettyList :: [ConDecl] -> Doc #
Pretty DataOrNew #
Instance details Methods pretty :: DataOrNew -> Doc # prettyPrec :: Int -> DataOrNew -> Doc # prettyList :: [DataOrNew] -> Doc #
Pretty Decl #
Instance details Methods pretty :: Decl -> Doc # prettyPrec :: Int -> Decl -> Doc # prettyList :: [Decl] -> Doc #
Pretty ImportSpec #
Instance details Methods pretty :: ImportSpec -> Doc # prettyPrec :: Int -> ImportSpec -> Doc # prettyList :: [ImportSpec] -> Doc #
Pretty ImportDecl #
Instance details Methods pretty :: ImportDecl -> Doc # prettyPrec :: Int -> ImportDecl -> Doc # prettyList :: [ImportDecl] -> Doc #
Pretty ModulePragma #
Instance details Methods pretty :: ModulePragma -> Doc # prettyPrec :: Int -> ModulePragma -> Doc # prettyList :: [ModulePragma] -> Doc #
Pretty Module #
Instance details Methods pretty :: Module -> Doc # prettyPrec :: Int -> Module -> Doc # prettyList :: [Module] -> Doc #