haskell - この Haskell Data.Maybe 関数は何をしますか?

Question

この関数が何をするか知っているかどうか尋ねたいと思います:

hasUnassigned :: [Int] -> Bool
hasUnassigned board = isJust $ elemIndex 0 board

この機能をオンラインで見つけたので、数独ゲームの解法を描くのに使用する予定です。

仕組みを教えてください。

Answer 1

elemIndex署名がありますa -> [a] -> Maybe Int。xと listに適用すると、 at positionに初めて現れるかどうかがlistわかります。が にない場合は、代わりに取得します。Just ixlistixlistNothing

外側の関数isJustは a を取り、それがまたはMaybe aの形式であるかどうかを教えてくれます。したがって、ボード リストにがあるかどうかを確認します。Just whateverNothinghasUnassigned0