Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Abstract.Pretty
Synopsis
showA :: (Show c, ToConcrete a c, MonadTCM tcm) => a -> tcm String
prettyA :: (Pretty c, ToConcrete a c, MonadTCM tcm) => a -> tcm Doc
showATop :: (Show c, ToConcrete a c, MonadTCM tcm) => a -> tcm String
prettyATop :: (Pretty c, ToConcrete a c, MonadTCM tcm) => a -> tcm Doc
Documentation
showA :: (Show c, ToConcrete a c, MonadTCM tcm) => a -> tcm StringSource
prettyA :: (Pretty c, ToConcrete a c, MonadTCM tcm) => a -> tcm DocSource
showATop :: (Show c, ToConcrete a c, MonadTCM tcm) => a -> tcm StringSource
Variant of showA which does not insert outermost parentheses.
prettyATop :: (Pretty c, ToConcrete a c, MonadTCM tcm) => a -> tcm DocSource
Variant of prettyA which does not insert outermost parentheses.
Produced by Haddock version 2.6.1