Agda.Compiler.MAlonzo.Pretty
- prettyPrint :: (Pretty a, Data a) => a -> String
Documentation
prettyPrint :: (Pretty a, Data a) => a -> StringSource
Inserts disambiguating parentheses and encodes module names just before pretty-printing.
Agda-2.2.8: A dependently typed functional programming language and proof assistant
Agda.Compiler.MAlonzo.Pretty
prettyPrint :: (Pretty a, Data a) => a -> StringSource
Inserts disambiguating parentheses and encodes module names just before pretty-printing.