typelevel/cats
Add Divisible and Decideable (contravariant Applicative and co.)
オープン
#1,935 opened on 2017/09/27
help wanted
Repository metrics
- Stars
- (5,438 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
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