Add `spanAntitoneM`
メンテナーはふだん 2 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
まず、既存の spanAntitone エントリーポイントとそのテストを読み、提案されているモナド型シグネチャが、示されている反単調規則をどのように維持するかを比較します。spanAntitoneM が、エフェクトを持つ述語に対して指定された型と動作で追加され、クロスオーバー結果のカバレッジが含まれていれば完了です。
索引モデルが issue の本文から書いたものです。
説明
spanAntitone :: (k -> Bool) -> Map k a -> (Map k a, Map k a) is a handy way to "bisect" arbitrary data in the git bisect sense. Just stick your data in a Map, then use spanAntitone to find the crossover point.
Sometimes the antitone predicate cannot be defined purely though (maybe it involves interactivity, or consulting a database, or whatever), and in such cases I feel like it'd be handy to have this slight variation:
spanAntitoneM :: Monad m => (k -> m Bool) -> Map k a -> m (Map k a, Map k a)
The rule for the predicate can still be specified as j < k implies (>=) <$> p j <*> p k == f True, for some f :: forall x. x -> m x (roughly, (>=) <$> p j <*> p k always "resolves" to True).
- 主要言語
- Haskell
- スター
- 355
- フォーク
- 194
- 平均マージ
- 3日 4時間
- マージ済み PR（30日）
- 7
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
haskell/containers のほかの issue
-
major-release strictness Tree
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
haskell/containers#1260 ·
メンテナーはふだん 2 日以内に返信
-
IntSet low-hanging-fruit performance
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
haskell/containers#1251 ·
メンテナーはふだん 2 日以内に返信
-
maintainability major-release
難易度 3/5 1〜2日 初心者へのやさしさ 70/100
haskell/containers#1250 ·
メンテナーはふだん 2 日以内に返信
-
performance Tree
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
haskell/containers#1247 ·
メンテナーはふだん 2 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 50/100
haskell/containers#1242 ·
メンテナーはふだん 2 日以内に返信
haskell/containers の issue をすべて見る
似ている issue
-
Preserve bind arrowオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
alunduil/siren-json.hs#233 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 1/5 1時間未満 初心者へのやさしさ 84/100
alunduil/network-arbitrary#180 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
jgm/asciidoc-hs#14 ·