linear haskell `#->` operator

[ghost]

in linear haskell, ->. is used as the linear version of the standard arrow ->. this bugs me + others as it doesn’t look anything like the inherent mathematical symbol (U+22B8 MULTIMAP ⊸). visually speaking, it’s a stretch, so if it’s too jarring perhaps keep the tip the arrow for a ->o-style thing with the tip de-emphasized

while being an extremely small use case, it would make the lives of three people out there slightly more beautiful

[tonsky]

Ok, I’ll look into it

[chroma04]

it’s been revealed that in upcoming GHC 12, linear types are finally officially coming to haskell! although, the operator is now #-> could you do something with that?

[tonsky]

I’m not sure... #-> looks pretty decent right now

[hellwolf]

Yes please provide for "⊸" character, it looks quite out of place at the moment because it falls back to a different font (Noto Sans Mono in this case):

[jake-87]

Slightly reviving this - Please add. It's not a terribly complicated character, but it always looks out of place in my code.

[ploddi]

Scala Libretto also contains similar linear functions aka lollipop. Ligatures will be welcome to make it somewhat consistent with Linear Haskell ⊸ operator.