Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Syntax.Abstract.Pretty

Synopsis

Documentation

showA :: (Show c, ToConcrete a c, MonadAbsToCon m) => a -> m String Source #

prettyA :: (Pretty c, ToConcrete a c, MonadAbsToCon m) => a -> m Doc Source #

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

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

Variant of showA which does not insert outermost parentheses.

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

Variant of prettyA which does not insert outermost parentheses.