{-| Pretty printing functions.
-}moduleAgda.Utils.Pretty(moduleAgda.Utils.Pretty,moduleText.PrettyPrint)whereimportText.PrettyPrintclassPrettyawherepretty::a->DocprettyPrec::Int->a->Docpretty=prettyPrec0prettyPrec=constprettyinstancePrettyDocwherepretty=idpwords::String->[Doc]pwords=maptext.wordsfwords::String->Docfwords=fsep.pwordsmparens::Bool->Doc->DocmparensTrue=parensmparensFalse=id-- | @align max rows@ lays out the elements of @rows@ in two columns,-- with the second components aligned. The alignment column of the-- second components is at most @max@ characters to the right of the-- left-most column.---- Precondition: @max > 0@.align::Int->[(String,Doc)]->Docalignmaxrows=vcat$map(\(s,d)->texts$$nest(maxLen+1)d)$rowswheremaxLen=maximum$0:filter(<max)(map(length.fst)rows)