哈斯克尔无法匹配预期的类型`也许文本“与实际的类型'文本”

全码https://github.com/gertcuykens/haskell-design 哈斯克尔无法匹配预期的类型`也许文本“与实际的类型'文本”

我怎样才能解除也许可能从文本类型

application :: MVar ServerState -> WS.Request -> WS.WebSockets WS.Hybi10() 
application state rq = do 
    WS.acceptRequest rq 
    WS.getVersion >>= liftIO . putStrLn . ("Client version: " ++) 
    sink <- WS.getSink 
    msg <- WS.receiveData 
    clients <- liftIO $ readMVar state 
    url <- liftIO fbUrl 

    let prefix = "Facebook code" 
    let code = T.drop (T.length prefix) msg 

    let a = ("code",T.unpack code) 
    e <- liftIO $ fbEmail $ (\(x,y) -> (C.pack x, C.pack y)) a 

    let client = (e, sink) --ERROR 

    case msg of 
     _ | not (prefix `T.isPrefixOf` msg) -> do 
       WS.sendTextData ("Facebook login " `mappend` url :: Text) 
      | any ($ fst client) 
       [T.null, T.any isPunctuation, T.any isSpace] -> 
        WS.sendTextData ("Facbook code invalid" :: Text) 
      | clientExists client clients -> 
       WS.sendTextData ("User already exists" :: Text) 
      | otherwise -> do 
       liftIO $ modifyMVar_ state $ \s -> do 
        let s' = addClient client s 
        WS.sendSink sink $ WS.textData $ 
         "Welcome! Users: " `mappend` 
         T.intercalate ", " (map fst s) 
        broadcast (fst client `mappend` " joined") s' 
        return s' 
       talk state client 

    Couldn't match expected type `Maybe Text' with actual type `Text' 
    Expected type: Maybe Text -> Bool 
     Actual type: Text -> Bool 
    In the expression: T.null 
    In the second argument of `any', namely 
     `[T.null, T.any isPunctuation, T.any isSpace]'

来源

2012-07-28 Gert Cuykens

对于所有的羽绒选民我不介意你的投票我介意你不要留下你不喜欢的评论。有些人喜欢完整的代码示例。在我的情况下，短时间提取大部分时间没有任何意义。 – 2012-07-28 02:02:09

如果您不能在较小的代码示例中重现该问题，那么对于认为自己遇到同样问题的下一个人有多大帮助？堆栈溢出不仅适用于您，它适用于每个有您的问题的人。如果你无法沟通，你不会对下一个人有太大的帮助。支付它，花时间把你的问题削减到基本要素。另外：链接死亡，移动，否则变得破碎。如果你的问题不能独立存在，那是另一个问题。 – 2012-07-30 02:36:22

下一个可以提取一个简单的haskell问题的人无论如何都不需要stackoverflow :)下次我将使用stackoverflow聊天。 – 2012-07-30 18:54:12

你fbEmail函数返回一个Maybe Text。如果你希望它永远是一个Just，你可以使用一个模式上的变量绑定的左侧，以从中获得Text：

Just email <- liftIO . fbEmail $ both C.pack a

随着下面的帮助以提高可读性：

both :: (a -> b) -> (a, a) -> (b, b) 
both f (x, y) = (f x, f y)

但是，这会忽略错误，因此您应该使用Data.Maybe函数之一，如fromMaybe或maybe。或者，你也可以使用一个明确的case表达：

maybeEmail <- ... 
case maybeEmail of 
    Just email -> ... -- Do something with "email". 
    Nothing -> ... -- Handle missing emails.

如果您不需要基于fbEmail是否返回Nothing或Just于呼叫做不同的事情，你可以（也应该）移动这样的逻辑变成fbEmail本身。

来源

2012-07-28 01:19:46

from irc haskell'只要e < - liftIO $ fbEmail $（\（x，y） - >（C.pack x，C.pack y））a''似乎更容易阅读 – 2012-07-28 01:41:53

您可以添加一个“case”示例请求？ – 2012-07-28 01:44:40

哈斯克尔无法匹配预期的类型`也许文本“与实际的类型'文本”

回答

相关问题