typelevel/cats

Add Divisible and Decideable (contravariant Applicative and co.)

Open

#1,935 opened on Sep 27, 2017

View on GitHubContributor guide
 (22 comments) (5 reactions) (0 assignees)Scala (1,241 forks)batch import
help wanted

Repository metrics

Stars
 (5,438 stars)
PR merge metrics
 (PR metrics pending)

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

Contributor guide

Research direction
Understand the algebra for Divisible and Decideable type classes and their laws. Study existing implementations in the contravariant package and similar libraries. Design and implement the type classes in Cats, ensuring consistency with existing functor hierarchy.
Tech stack
scala
Domain
backendapi
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
functional programmingcats
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40