Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Syntax.Abstract.Pretty

6 values

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.