Idris2Doc : Text.PrettyPrint.Prettyprinter.Symbols

Text.PrettyPrint.Prettyprinter.Symbols

angles : Docann -> Docann
Totality: total
backslash : Docann
Totality: total
braces : Docann -> Docann
Totality: total
brackets : {defaultlbracket_ : Docann} -> {defaultrbracket_ : Docann} -> Docann -> Docann
Totality: total
colon : Docann
Totality: total
comma : Docann
Totality: total
dot : Docann
Totality: total
dquote : Docann
Totality: total
dquotes : Docann -> Docann
Totality: total
equals : Docann
Totality: total
langle : Docann
Totality: total
lbrace : Docann
Totality: total
lbracket : Docann
Totality: total
lparen : Docann
Totality: total
parens : Docann -> Docann
Totality: total
parenthesise : Bool -> Docann -> Docann
Totality: total
pipe : Docann
Totality: total
rangle : Docann
Totality: total
rbrace : Docann
Totality: total
rbracket : Docann
Totality: total
rparen : Docann
Totality: total
semi : Docann
Totality: total
slash : Docann
Totality: total
space : Docann
Totality: total
squote : Docann
Totality: total
squotes : Docann -> Docann
Totality: total