Hexyll.Core.Identifier.Pattern をリファクタリングする about hexirp-hakyll HOT 22 CLOSED

fromList のドキュメントに注意書きがあるけど、そもそも version を Pattern に混ぜんなよという感がする。

from hexirp-hakyll.

躊躇なく新しい設計を組み立てようとする。具体的には Pattern を Identifier -> Bool の newtype にする。ここで問題になるのは Pattern が Binary である必要があるのかどうか。

from hexirp-hakyll.

jaspervdj/hakyll@d2aaf33 と jaspervdj/hakyll@86ede74 が関わっているみたい？

from hexirp-hakyll.

Dependencies を扱うために必要なそうで。具体的には https://github.com/Hexirp/hexirp-hakyll/blob/a1dd75a18c5b3a55c2684326d93896c4c1e1d672/hexyll-core/src/Hexyll/Core/Dependencies.hs の所。

from hexirp-hakyll.

あっ。

from hexirp-hakyll.

対策するためには、別々の型にするとかかな？

from hexirp-hakyll.

regex-applicative を使うのはやめておこう。 Eq でも Show でもなくなるから。

from hexirp-hakyll.

あー、でも、直接 Pattern に変換すればいいのか？

from hexirp-hakyll.

まあ、ここがあかんのだよね。

from hexirp-hakyll.

ここもあかん。

その原因は

from hexirp-hakyll.

なんで普通に列挙しないでパターンも許しているの？

from hexirp-hakyll.

OldPattern の中で代替できなさそうなのは capture 関連か。ここの意味がよくわからない。

from hexirp-hakyll.

「型を合わせる」とは coerce で済む作業である。

from hexirp-hakyll.

capture は使われていないので消す。

from hexirp-hakyll.

capture はこんな感じのようだ。つまりワイルドカードにマッチした箇所をリストにして返す。マッチしなかったら Nothing になる。

そして fromCapture は * とか ** の穴を与えられた値で埋めていく。

from hexirp-hakyll.

てゆーか、これ regex-applicative を使えば行ける話じゃん。

from hexirp-hakyll.

PatternData と Pattern の Monoid 構造は compile により準同型になっている。

from hexirp-hakyll.

ドキュメントを追加したけど、なんか見づらいような気がする。

from hexirp-hakyll.

こことか

ここで

古い Pattern が使われている。

from hexirp-hakyll.

うーん、 (.||.) とかは Regex とかでできるから捨てちゃう？

from hexirp-hakyll.

そもそも現実的には Glob しか使わない？

from hexirp-hakyll.

なぜ Old.Pattern は Binary のインスタンスを持っていなければならないのか？

from hexirp-hakyll.