printable

The rules for text a person or an agent will read and must be able to see all of. forbidden names every code point that draws nothing or changes how what is around it is drawn: controls, format characters, bidirectional marks, embeddings and isolates, tags, variation selectors and every other default-ignorable code point. hides says whether a text holds one anywhere but where it is part of what is drawn, as an emoji's joiners, a presentation selector or a subdivision flag's tags are. utf8Length and normaliseBody give a caller what it needs to cap a text in characters, bytes and lines, and validatedRecord reads back the record syntax show writes for a one-field newtype only when its field passes a validator. The limits themselves are the caller's. . printable:gen holds the named Hedgehog generators of what draws nothing, for a caller's own laws.