typelevel/cats
Add Divisible and Decideable (contravariant Applicative and co.)
Aperta
#1935 aperta il 27 set 2017
help wanted
Metriche repository
- Star
- (5438 stelle)
- Metriche merge PR
- (Metriche PR in attesa)
Descrizione
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