Idris2Doc : Text.PrettyPrint.Prettyprinter.Symbols

Text.PrettyPrint.Prettyprinter.Symbols

Definitions

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