search

purescript / purescript-prelude

The PureScript Prelude
BSD 3-Clause "New" or "Revised" License
162 stars 88 forks source link

Ports `purescript-proxy` into this repo #230

Closed JordanMartinez closed 4 years ago

JordanMartinez commented 4 years ago

Since SProxy is defined in Prelude, we need to port purescript-proxy's Proxy type to here instead now that it can be polykinded.

Note: I assume that IsSymbol should use Proxy now rather than SProxy.

JordanMartinez commented 4 years ago

I'll have to get to this later:

JordanMartinez commented 4 years ago

Should the docs for Proxy be updated at all? I think right now it only explains how to use it as a proxy for kind Type, not for any kinds.

hdgarrood commented 4 years ago

I don't think that's necessary; it will be clear that Proxy can be used for any kind once someone has come across the idea of polymorphic kinds, and I think the documentation for polykinds would be a better place to introduce things like the fact that you can use Proxy with any kind.

JordanMartinez commented 4 years ago

Ok. Then I think this PR is ready to be merged if there are no other changes I need to make.