exists specialized for type - PureScript

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Home#PureScript
exists specialized for type
Matei Adriel
2021-06-02 18:00:10

Btw, why is Exists from the purescript-exists lib specialized for Type? Cant we make it polymorphic over the kind of the type argument

rhendric
2021-06-02 18:04:43

https://github.com/purescript/purescript-exists/pull/14

Generalize `Exists` to hold non-`Type`-kinded types by rhendric · Pull Request #14 · purescript/purescript-exists
Description of the change With polymorphic kinds, Exists can be generalized to quantify over types of kind other than Type. I don't believe there's any disadvantage to doing so. Checklist:...
rhendric
2021-06-02 18:05:29

(tl;dr: yes)

Powered by Haskell | Questions? Contact srid