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

Safe HaskellSafe-Inferred

Agda.Utils.Pretty

Description

Pretty printing functions.

Synopsis

Documentation

align :: Int -> [(String, Doc)] -> DocSource

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.