This partially solves #35 and adds the newer typeclasses available on the Prelude now, including the newer functions imported by default — i.e. Foldable, Traversable and Monoid.
For type declarations, using the following is now possible:
→ for ->
⇒ for =>
∷ for ::
★ for *
I still need to add ∀ and the additional symbols for Arrow notation, but this is usable right now for the majority of cases. I'm using it from now on. Please test it out and merge if OK.
This partially solves #35 and adds the newer typeclasses available on the Prelude now, including the newer functions imported by default — i.e.
Foldable
,Traversable
andMonoid
.For type declarations, using the following is now possible:
→
for->
⇒
for=>
∷
for::
★
for*
I still need to add
∀
and the additional symbols for Arrow notation, but this is usable right now for the majority of cases. I'm using it from now on. Please test it out and merge if OK.