Reputation: 4501
Looking at this:
I see there is support for unicode in purescript, e.g.
id :: ∀ a. a -> a
Is there a list of default operators somewhere?
Upvotes: 6
Views: 782
Reputation: 4659
The available "default" symbols are just those that are part of the syntax:
∀
(forall
) for types∷
(::
) for type annotations→
(->
) for function types and cases←
(<-
) for do
binds⇒
(=>
) for class constraints⇐
(<=
) for superclass implicationsSome libraries and project preludes provide additional unicode operators for library code.
Upvotes: 10