hsep -package:Agda

(hsep xs) concatenates all documents xs horizontally with <+>, i.e. it puts a space between all entries.

>>> let docs = Util.words "lorem ipsum dolor sit amet"

>>> hsep docs
lorem ipsum dolor sit amet

hsep does not introduce line breaks on its own, even when the page is too narrow:

>>> putDocW 5 (hsep docs)
lorem ipsum dolor sit amet

For automatic line breaks, consider using fillSep instead.

List version of <+>.

List version of <+>.

Concatenate docs horizontally with a space between each one.

A convenient synonym for horizontal concatenation with separation: hsep s === hcat' (with & sep .~ s).

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

hsep sep a bs lays out bs horizontally with alignment a, with sep amount of space in between each.

Same as hcat, but putting breakable spaces between the Docs.

Lay out a list of Diagrams horizontally, aligned along their top edges, with a given amount of separation in between each pair.

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

Concatenate the items of a Foldable data structure with spaces between them.

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

Creates a new HSeparator.

Lay out a list of Diagrams horizontally, with the given amount of separation in between each pair, using the given vertical alignment (top, vcenter, or bottom).

A horizontal separator

Zp: Separator, Paragraph

Convert to the right kind of slashes.

Add a trailing file path separator if one is not already present.

hasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"

Remove any trailing path separators

dropTrailingPathSeparator "file/test/" == "file/test"
dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive x

Is an item either a directory or the last character a path separator?

hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == True