Applicare una funzione solo se isJust

Question

Cerco un modo idiomatico di fare

moveMaybeCreature Nothing world = world 
moveMaybeCreature (Just creature) world = moveCreature creature world 

O in altre parole

if isJust c 
    then doSomething (fromJust c) w 
    else w 

ho pensato che potevo a questo modo:

moveMaybeCreature c w = foldr moveCreature w (maybeToList c) 

Posso farlo senza dover convertire Maybe Creature a [Creature]?

Answer 1

È possibile eseguire questa operazione finché il tipo di world e moveCreature (fromJust c) world è lo stesso. È possibile utilizzare maybe da Data.Maybe.

moveMaybeCreature = maybe id moveCreature 

Il tuo primo modo di fare il modello coincidenze dovrebbe funzionare anche bene.

Answer 2

Io secondo la raccomandazione di utilizzare la funzione maybe. Hai ragione a porre questa domanda a causa di questa regola generale (non solo per te, ma per i nuovi arrivati ​​che la leggono): funzioni con tipi come Maybe Foo -> Bar o Maybe Foo -> Maybe Bar che sono definiti direttamente sono code smell in Haskell. Non vuoi quasi mai scrivere una funzione che consideri Maybe Foo come argomento; si desidera una funzione che richiede solo Foo e utilizzare una funzione di ordine superiore per adattarla a Maybe Foo.

Supponiamo di avere una funzione f' :: Maybe Foo -> Maybe Bar. Questo di solito può essere riscritta in uno:

1. f :: Foo -> Bar e fmap f :: Maybe Foo -> Maybe Bar;
2. f :: Foo -> Maybe Bar e (>>=f) :: Maybe Foo -> Maybe Bar

Primo caso funziona, perché questo è l'istanza Functor per Maybe:

instance Functor Maybe where 
    fmap f Nothing = Nothing 
    fmap f (Just x) = Just (f x) 

-- or this: 
--  fmap f = maybe Nothing (Just . f) 

Secondo caso funziona perché questo è l'istanza Monad per Maybe:

instance Monad Maybe where 
    return = Just 
    Nothing >>= f = Nothing 
    (Just x) >>= f = f x 

-- or this: 
--  mx >>= f = maybe Nothing f mx 

Answer 3

Ecco un altro opt ione, più vicino al tuo codice originale:

import qualified Data.Foldable as F 

moveMaybeCreature = flip (F.foldr moveCreature)