Hexyll.Core.Identifier.Pattern をリファクタリングする

[Hexirp]

きちんとした Monoid になっていない、そもそも DSL の形が気に入らない、ベースに regex-tdfa を採用している、など気に入らない所がいっぱいある。

言語拡張も Internal モジュールを統合したので必要なくなった。

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Dependencies.hs

Lines 78 to 81 in a1dd75a

	--------------------------------------------------------------------------------
	type DependencyM a = RWS [Identifier] [String] DependencyState a

あっ。

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Runtime.hs

Line 57 in 8508094

mOldFacts <- Store.get store factsKey

[Hexirp]

ここもあかん。

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Runtime.hs

Line 87 in 8508094

Store.set store factsKey $ runtimeFacts s

その原因は

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Runtime.hs

Line 114 in 8508094

, runtimeFacts :: DependencyFacts

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

hexirp-hakyll/hexyll-core/unit-test/Hexyll/Core/IdentifierTest.hs

Lines 27 to 48 in a33414b

	--------------------------------------------------------------------------------
	captureTests :: [TestTree]
	captureTests = fromAssertions "capture"
	[ Just ["bar"] @=? capture "foo/**" "foo/bar"
	, Just ["foo/bar"] @=? capture "**" "foo/bar"
	, Nothing @=? capture "*" "foo/bar"
	, Just [] @=? capture "foo" "foo"
	, Just ["foo"] @=? capture "*/bar" "foo/bar"
	, Just ["foo/bar"] @=? capture "**/qux" "foo/bar/qux"
	, Just ["foo/bar", "qux"] @=? capture "**/*" "foo/bar/qux"
	, Just ["foo", "bar/qux"] @=? capture "*/**" "foo/bar/qux"
	, Just ["foo"] @=? capture "*.html" "foo.html"
	, Nothing @=? capture "*.html" "foo/bar.html"
	, Just ["foo/bar"] @=? capture "**.html" "foo/bar.html"
	, Just ["foo/bar", "wut"] @=? capture "**/qux/*" "foo/bar/qux/wut"
	, Just ["lol", "fun/large"] @=? capture "*cat/**.jpg" "lolcat/fun/large.jpg"
	, Just [] @=? capture "\\*.jpg" "*.jpg"
	, Nothing @=? capture "\\*.jpg" "foo.jpg"
	, Just ["xyz","42"] @=? capture (fromRegex "cat-([a-z]+)/foo([0-9]+).jpg") "cat-xyz/foo42.jpg"
	]

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

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Identifier/Pattern.hs

Lines 300 to 306 in a33414b

	-- Example:
	--
	-- > fromCapture (fromGlob "tags/*") "foo"
	--
	-- Result:
	--
	-- > "tags/foo"

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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

[Hexirp]

こことか

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Rules.hs

Lines 132 to 136 in f53a6e4

	--------------------------------------------------------------------------------
	match :: Pattern -> Rules () -> Rules ()
	match pattern = matchInternal pattern $ getMatches pattern

ここで

hexirp-hakyll/hexyll-core/src/Hexyll/Core/Routes.hs

Lines 128 to 135 in f53a6e4

	--------------------------------------------------------------------------------
	-- | Apply the route if the identifier matches the given pattern, fail
	-- otherwise
	matchRoute :: Pattern -> Routes -> Routes
	matchRoute pattern (Routes route) = Routes $ \p id' ->
	if matches pattern id' then route p id' else return (Nothing, False)

古い Pattern が使われている。

[Hexirp]

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

[Hexirp]

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

[Hexirp]

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