typelevel/cats
Add Divisible and Decideable (contravariant Applicative and co.)
Ouverte
#1 935 ouverte le 27 sept. 2017
help wanted
Métriques du dépôt
- Stars
- (5 438 étoiles)
- Métriques de merge PR
- (Métriques PR en attente)
Description
https://hackage.haskell.org/package/contravariant-1.4/docs/Data-Functor-Contravariant-Divisible.html
Example use case: divide can be seen as a way of deriving behavior by splitting a "larger" type in two