Idris2Doc : 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