::
GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
ModuleAgda-2.7.0.1Haskell2010
prettyPrint :: Pretty a => a -> String
prettyWhere :: Maybe Binds -> Doc -> Doc
prettyRhs :: String -> Rhs -> Doc
prettyGuardedRhs :: String -> GuardedRhs -> Doc
isOperator :: QName -> Bool
prettyQName :: QName -> Doc
Pretty Alt
Pretty Binds
Pretty ConDecl
Pretty DataOrNew
Pretty Decl
Pretty Exp
Pretty ImportDecl
Pretty ImportSpec
Pretty Literal
Pretty Match
Pretty Module
Pretty ModuleName
Pretty ModulePragma
Pretty Name
Pretty Pat
Pretty QName
Pretty QOp
Pretty Stmt
Pretty Strictness
Pretty TyVarBind
Pretty Type