When I use :PaddType the inferred type signatures often look like this:
accumulate :: ∀ t1 t2 t3. t1 → t2 → t3 → t2
While I'd much rather they looked like this, i.e. sticked to ASCII:
accumulate :: forall t1 t2 t3. t1 -> t2 -> t3 -> t2
I'm not enough of an aesthete to bother with configuring my editor or input system to substitute these characters in place of my keyboard input, but I value consistency - since I'd not type them, I don't want them generated automatically.
Is it possible to tune the output of purs or psc-ide accordingly?
When I use
:PaddTypethe inferred type signatures often look like this:While I'd much rather they looked like this, i.e. sticked to ASCII:
I'm not enough of an aesthete to bother with configuring my editor or input system to substitute these characters in place of my keyboard input, but I value consistency - since I'd not type them, I don't want them generated automatically.
Is it possible to tune the output of
pursorpsc-ideaccordingly?