Standard unicode operators in purescript

Question

Looking at this:

• https://github.com/purescript/purescript/issues/1929

I see that unicode support in purescript for example

id :: ∀ a. a -> a

Is there a list of default operators somewhere?

Answer 1

The available default characters are only those that are part of the syntax:

• ∀( forall) for types
• ∷( ::) for type annotations
• →( ->) for function types and cases
• ←( <-) for dobinds
• ⇒( =>) for class constraints
• ⇐( <=) for the consequences of the superclass

, , , SlamData.