Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

ModuleAgda-2.7.0.1Haskell2010

Agda.Syntax.Abstract.Pretty

5 values

PackageAgda-2.7.0.1
Exports5
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.