typelevel/cats-effect

Laws testing for queue functor instances

Open

#1,618 opened on 2021年1月22日

GitHub で見る
 (7 comments) (0 reactions) (0 assignees)Scala (2,230 stars) (572 forks)batch import
good first issue

説明

We have {Functor, Invariant, Contravariant} instances for {Q, Deq, PQ}ueue in cats.effect.std but they currently have no laws tests. We should correct this :)

コントリビューターガイド

技術スタック
scala
領域
testingbackend
Issue 種別
test
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2 days
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
fresh
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Scalacats effectcats laws testing
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
70
調査方針
The issue requests adding laws tests for Functor, Invariant, and Contravariant instances of Q, Deq, and PQ ueue in cats.effect.std. Look at existing law tests for other types (e.g., Ref, Deferred) in the cats effect laws module to understand the pattern. Implement tests using ScalaCheck and Discipline, verifying each typeclass law. Key files to examine include the queue implementations in cats/effect/std and the test suite in cats/effect/tests. Ensure tests are added for all three typeclasses and all three queue types.