Idris2Doc : Text.PrettyPrint.Prettyprinter.Symbols

Text.PrettyPrint.Prettyprinter.Symbols

Definitions

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