design-patterns - Mathematicaで、ルールとリストを含むパターンを見つけるにはどうすればよいですか？

Question

例：

test = {"a" -> {{1}, 12}, "b" -> {13}}

次のパターンでリスト内のすべての式を検索したいと思います。

_ -> {_,_}

最初の要素「a」->{{1}、12}は、このパターンで表されます。

ただし、これらの式はいずれも機能しません。

Cases[test,_->{_,_}], Cases[test,_->_], Cases[test,Rule[_,_]], etc.

何かアドバイスをいただければ幸いです。

Answer 1

あなたが探しているのはHoldPattern：

In[1]:= test = {"a" -> {{1}, 12}, "b" -> {13}};

In[2]:= Cases[test, HoldPattern[_ -> {_, _}]] // InputForm
Out[2]= {"a" -> {{1}, 12}}

編集：これは名前付きパターン変数でも機能します。

In[3]:= Cases[test, HoldPattern[_ -> {x_, _}] :> x]
Out[3]= {{1}}