Introduce HashableK typeclass

bow-swift / bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

https://bow-swift.io

Other

643 stars 32 forks source link

Introduce HashableK typeclass #642

Closed ferranpujolcamins closed 3 years ago

ferranpujolcamins commented 3 years ago

Goal

Let values of appropriate higher-kinded types be hashable.

I want this because in order to generate an ArrowOf<KindOf<F, A>, B> in a property-based test, KindOf<F, A> ~ Kind<F, A> needs to be hashable. With this we'll be able write property-based tests for ComonadTrans (PR coming soon).

ferranpujolcamins commented 3 years ago

Issues addressed.

truizlop commented 3 years ago

@ferranpujolcamins There are conflicts on the project, can you address them?

ferranpujolcamins commented 3 years ago

Done

truizlop commented 3 years ago

Thanks!