0
Existe-t-il une implémentation pour la fonction suivante? Je ne pouvais pas le trouver sur hoogleComment implémenter findM dans Haskell?
findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)
Existe-t-il une implémentation pour la fonction suivante? Je ne pouvais pas le trouver sur hoogleComment implémenter findM dans Haskell?
findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)
Oui. Dans le package "extra", le module Control.Monad.Extra
https://hackage.haskell.org/package/extra-1.6/docs/Control-Monad-Extra.html#v:findM
'findM f = pli (\ repos x -> faire b <- fx, si b puis revenir $ Juste x autre repos) (retour Rien) 'devrait le faire. – Bergi
Notez que [la nouvelle version alpha de Hoogle le trouve] (http://hoogle.haskell.org/?hoogle=Monad+m+%3D%3E+%28a+-%3E+m+Bool%29+-%3E+% 5Ba% 5D + -% 3E + m +% 28Maybe + a% 29 & scope = set% 3Astackage). – leftaroundabout