Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Compiler.MAlonzo.Pretty
Synopsis
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.
Produced by Haddock version 2.4.2