Dealing with Maybe Bool values

Viewed 3742

Let us say, I have two Maybe Bool value and I want to achieve the following functionality:

  • If both are Just values, I want to perform an || between them the values.
  • If one of them is Nothing and the other one is Just value, then I want the Just value as the output.
  • If both of them is Nothing, then I want Just False as the output.

I know that this can be achieved using pattern matching. But is it possible to use any monadic functions to acheive the result ?

liftM2 works for this case:

ghci> liftM2 (||) (Just True) (Just False)
Just True

But liftM2 will produce Nothing when any of the one input is Nothing (for which I want the other Just value). i.e:

ghci> liftM2 (||) (Nothing) (Just False)
Nothing

But I want Just False in the above case.

Is it possible to do this using any monadic function ?

3 Answers
Related