Agda-2.6.3: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Syntax.Abstract.Pretty

Synopsis

Documentation

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

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

Variant of showA which does not insert outermost parentheses.

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

Variant of prettyA which does not insert outermost parentheses.