search

purescript-contrib / purescript-matryoshka

Generalized folds, unfolds, and traversals for fixed point data structures
Apache License 2.0
59 stars 14 forks source link

Update to v0.14.0-rc3 #20

Closed JordanMartinez closed 3 years ago

JordanMartinez commented 3 years ago

Backlinking to purescript-contrib/governance#35

JordanMartinez commented 3 years ago

Someone more familiar with this library should clarify whether we need these kind annotations to be polykinded or just kinded to Type.

thomashoneyman commented 3 years ago

@JordanMartinez I'm not completely confident, but I suspect these can all be fixed to Type (which is the conservative, preserve-existing-code move as well). If you fix them to Type then I'm happy to merge (or feel free to go ahead yourself).

JordanMartinez commented 3 years ago

How about now?

JordanMartinez commented 3 years ago

CI builds now.