When using the UnicodeSyntax language pragma, one should be able to substitute some ASCII sequences for Unicode characters as shown here and on the following table:
| ASCII |
Unicode alternative |
Code point |
Name |
| :: |
:: |
0x2237 |
PROPORTION |
| => |
⇒ |
0x21D2 |
RIGHTWARDS DOUBLE ARROW |
| forall |
∀ |
0x2200 |
FOR ALL |
| -> |
→ |
0x2192 |
RIGHTWARDS ARROW |
| <- |
← |
0x2190 |
LEFTWARDS ARROW |
| -< |
↢ |
0x2919 |
LEFTWARDS ARROW-TAIL |
| >- |
↣ |
0x291A |
RIGHTWARDS ARROW-TAIL |
| -<< |
⤛ |
0x291B |
LEFTWARDS DOUBLE ARROW-TAIL |
| >>- |
⤜ |
0x291C |
RIGHTWARDS DOUBLE ARROW-TAIL |
| * |
★ |
0x2605 |
BLACK STAR |
However, it appears that the built-in syntax highlighter is unaware of this:

(Note that stack-ide works regardless — although not shown here the types are correct on the status bar)
Maybe it would be a good idea to override the default and use a new syntax highlighter, such as the one used by SublimeHaskell but augmented with this?
When using the UnicodeSyntax language pragma, one should be able to substitute some ASCII sequences for Unicode characters as shown here and on the following table:
However, it appears that the built-in syntax highlighter is unaware of this:

(Note that stack-ide works regardless — although not shown here the types are correct on the status bar)
Maybe it would be a good idea to override the default and use a new syntax highlighter, such as the one used by SublimeHaskell but augmented with this?