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

Safe HaskellNone

Agda.Syntax.Abstract.Pretty

Synopsis

Documentation

showA :: (Show c, ToConcrete a c) => a -> TCM StringSource

prettyA :: (Pretty c, ToConcrete a c) => a -> TCM DocSource

prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM DocSource

showATop :: (Show c, ToConcrete a c) => a -> TCM StringSource

Variant of showA which does not insert outermost parentheses.

prettyATop :: (Pretty c, ToConcrete a c) => a -> TCM DocSource

Variant of prettyA which does not insert outermost parentheses.