ハスケルの「無限」折り畳み構造のk番目の要素を見つけるには？

Question

私はFoldable種類

safeIndex :: (Foldable t, Integral i) => t a -> i -> Maybe a 
safeIndex = foldr step (const Nothing) 
    where 
    step :: Integral i => a -> (i -> Maybe a) -> i -> Maybe a 
    step x f i = if i == 0 
       then Just x 
       else f (i - 1) 

に取り組んでいます。しかし、それは無限リストのために動作しない機能、safeIndexを定義したいと思います。 foldrが途中で止まるようにするには、最初の引数がstepの場合にのみ停止する必要があるかどうかを判断する必要があります。

無限の構造で機能するように関数を修正することはできますか？そうでない場合は、どのタイプタイルを制限する必要がありますかt？

Answer 1

質問の説明の定義は、実際に無限の組み込みリストに対して既に機能しています。 ）（コメントを見てください）

Answer 2

Gabriel Gonzalezのfoldl libraryは、あなたの目的に合ったindexとgenericIndexフォールドを提供しています。

たとえば、あなたはそのほかに

safeIndex :: (Foldable f, Integral a) => a -> f b -> Maybe b 
safeIndex = fold . genericIndex 

を書くことができ、あなたが投稿したコードは、あなたが何を意図しているようです。

EDIT：「無限リスト」の間隔を置いています。

これは無限リストでも機能しますが、すべてFoldableに定義するのが分かりやすい方法であることはわかりません。

safeIndex' :: Int -> [a] -> Maybe a 
safeIndex' n = listToMaybe . foldr (.) id (replicate n (drop 1)) 

EDIT 2：

スクラッチはその、あなたがオリジナルのポストに持っているものは、どのFoldableのために働くべきです。