在Haskell中获取Maybe的价值[重复]

Question

我正在实现一个函数myFunction，它使用anotherFunction。

anotherFunction 是一个无法修改的外部函数。它返回一个Maybe 类型的值。

myFunction 是一个递归函数，用于检查另一个myFunction 返回的值是Just 值还是Nothing。如果是Nothing则返回Nothing，否则会使用myFunction返回的纯值作为anotherFunction的参数。

基本上是这样的：

--These cannot be modified

data A = B | F a

anotherFunction :: x -> Maybe x
--Something here

myFunction :: A -> Maybe x 

--These can be modified
myFunction (F a) = {- if (myFunction a == Nothing) 
                        then Nothing 
                        else anotherFunction (pure value of (myFunction a)) -}

如何做到这一点？

Answer 1

您可以使用case 匹配从MyFunction 返回的值：

case (myFunction a) of
  Nothing -> Nothing
  Just x -> anotherFunction x

不过更简洁的方法是使用>>=：

(>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b
myFunction (f a) = (myFunction a) >>= anotherFunction

或者您可以使用do 表示法：

myFunction (f a) = do
  x <- myFunction a
  anotherFunction x

Answer 2

假设您有f 和g，它们都产生包装到类型Maybe（Just 3、Just "three"、Nothing）中的值。您可以像这样组合两者：

import Control.Monad

f :: a -> Maybe b -- suppose these two are signatures of the given two functions
g :: b -> Maybe c

h :: a -> Maybe c -- this is the way you pass values from one
h = f >=> g       -- to the other and bail out when you see Nothing

我为a、b 和c 类型使用了方便的名称，以使组合更清晰，但请注意这些类型不受约束，a 在一个签名中与a在另一个签名中，实际类型是在具体上下文中使用这两个函数时决定的。

由于您似乎没有对F a 构造函数中的a 施加任何限制，我想您希望它可能与A 不同。在这种情况下，函数 myFunction 不能具有 A -> ... 类型，因为您试图将 a 作为参数传递。

Answer 3

除非您在签名中有约束 Eq a => Maybe a，否则您将无法使用 ==。做这种事情的最好方法是使用case 声明：

case m of
    Just x -> anotherFunction x
    Nothing -> Nothing

这种模式对于Maybe 非常常见，它形成了Maybe 的Monad 实例，为您提供return x = Just x 和f >>= x = case x of Just a -> f a; Nothing -> Nothing 函数。