IdrisDoc: Text.PrettyPrint.WL.Characters

Text.PrettyPrint.WL.Characters

Commonly used characters

tilda : Doc
tick : Doc
squote : Doc
space : Doc
semi : Doc
rparen : Doc
rbracket : Doc
rbrace : Doc
rangle : Doc
question : Doc
pound : Doc
pipe : Doc
percent : Doc
lparen : Doc
lbracket : Doc
lbrace : Doc
langle : Doc
hash : Doc
forwardslash : Doc
euro : Doc
equals : Doc
dquote : Doc
dot : Doc
dollar : Doc
dash : Doc
comma : Doc
colon : Doc
caret : Doc
bang : Doc
backslash : Doc
asterix : Doc
ampersand : Doc