Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

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