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.Syntax.Abstract.Pretty

Synopsis

value showA
value prettyA
value prettyAs
value showATop
value prettyATop
value prettyAUnqualify

PackageAgda-2.8.0.2
Exports6
LanguageHaskell2010
LicenceMIT
SourcePretty.hs

valueshowA :: (ToConcrete a, Show (ConOfAbs a), MonadAbsToCon m) => a -> m String

valueprettyA

:: (ToConcrete a, Pretty (ConOfAbs a), MonadAbsToCon m)
=> a
-> m Doc

valueprettyAs

:: (ToConcrete a, ConOfAbs a ~ [ce], Pretty ce, MonadAbsToCon m)
=> a
-> m Doc

valueshowATop

:: (ToConcrete a, Show (ConOfAbs a), MonadAbsToCon m)
=> a
-> m String

Variant of showA which does not insert outermost parentheses.

valueprettyATop

:: (ToConcrete a, Pretty (ConOfAbs a), MonadAbsToCon m)
=> a
-> m Doc

Variant of prettyA which does not insert outermost parentheses.

valueprettyAUnqualify

:: (ToConcrete a, Pretty (ConOfAbs a), MonadAbsToCon m)
=> a
-> m Doc

Variant of prettyA which unqualifies out-of-scope names.