如何将ByteString转换为自定义ADT类型？获取Maybe Letter结果

别担心，这其实是Readable库设计的灵活性导致的——fromByteString的类型签名是MonadPlus m => ByteString -> m a，而Maybe本身就是MonadPlus的实例，所以你完全可以让它返回Maybe Letter，只需要明确指定类型就行。

步骤1：确保Letter类型具备解析能力 #

首先，你的Letter ADT需要支持解析逻辑，最直接的方式是派生Read实例（这样可以复用Readable的自动推导逻辑）：

data Letter = A | B | C deriving (Show, Read)

如果自动推导的解析逻辑不符合你的需求（比如ByteString的格式不是直接的"A"/"B"/"C"字符串），也可以手动实现Readable实例：

import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as BS
import Text.Read (readMaybe)
import Web.Readable (Readable(..))

instance Readable Letter where
  fromByteString bs = case readMaybe (BS.unpack bs) of
    Just letter -> return letter  -- 在MonadPlus中返回成功值
    Nothing -> mzero              -- 返回失败（对应Maybe的Nothing）

步骤2：明确指定返回类型为Maybe Letter #

在你的Wai/HTTP应用中，调用fromByteString时，只需加上类型注解，告诉编译器你想要Maybe Letter而非其他MonadPlus实例（比如List或ExceptT）：

举个请求处理的实际例子：

import Network.Wai
import Network.HTTP.Types
import Web.Readable (fromByteString)
import Data.ByteString (ByteString)

handleLetterRequest :: Request -> IO Response
handleLetterRequest req = do
  -- 从查询参数中提取ByteString格式的letter值
  let maybeLetterBs = lookupQueryParam "letter" (queryString req)
      -- 明确指定返回类型为Maybe Letter
      maybeLetter = maybeLetterBs >>= \bs -> fromByteString bs :: Maybe Letter
  
  -- 根据解析结果返回对应响应
  case maybeLetter of
    Just A -> return $ responseLBS status200 [] "Received letter A!"
    Just B -> return $ responseLBS status200 [] "Received letter B!"
    Just C -> return $ responseLBS status200 [] "Received letter C!"
    Nothing -> return $ responseLBS status400 [] "Invalid letter! Must be A/B/C."

为什么Readable会返回MonadPlus？ #

Readable库的设计目标是适配多种解析场景：

• 用Maybe表示简单的成功/失败逻辑
• 用[]表示所有可能的解析结果
• 用ExceptT表示带错误信息的失败情况
  所以它把返回类型设计成通用的MonadPlus，你只需要根据自己的业务需求指定具体的实例即可——这里就是Maybe。

内容的提问来源于stack exchange，提问作者hvth