Idris2Doc : Text.PrettyPrint.Prettyprinter.Symbols

Text.PrettyPrint.Prettyprinter.Symbols

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