Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Abstract.Pretty

Synopsis

showA :: (Show c, ToConcrete a c) => a -> TCM String
prettyA :: (Pretty c, ToConcrete a c) => a -> TCM Doc
prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM Doc
showATop :: (Show c, ToConcrete a c) => a -> TCM String
prettyATop :: (Pretty c, ToConcrete a c) => a -> TCM Doc

Documentation

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

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

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

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

Variant of showA which does not insert outermost parentheses.

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

Variant of prettyA which does not insert outermost parentheses.