Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

ModuleAgda-2.8.0.2Haskell2010

Agda.Compiler.MAlonzo.Pretty

Synopsis

value prettyPrint
value prettyWhere
value prettyRhs
value prettyGuardedRhs
value isOperator
value prettyQName

PackageAgda-2.8.0.2
Exports6
LanguageHaskell2010
LicenceMIT

valueprettyPrint :: Pretty a => a -> String

valueprettyWhere :: Maybe Binds -> Doc -> Doc

valueprettyRhs :: String -> Rhs -> Doc

valueprettyGuardedRhs :: String -> GuardedRhs -> Doc

valueisOperator :: QName -> Bool

valueprettyQName :: QName -> Doc

Orphan instances

21 instances