Как я могу избежать этих случаев?

Question

Как я могу выразить следующее без вложенных операторов case? В частности, я хотел бы сделать шаги по порядку и вызвать сбой, если какой-либо из шагов попал в «плохую» ветвь.

loadData :: IO [Market] 
loadData = do 
    filedata <- B.readFile "markets.json" 
    case parseData filedata of 
    Left err -> fail err 
    Right v -> do 
     case fromJSON v of 
     Error err -> fail err 
     Success a -> return a 

Answer 1

Возможно, вы захотите, чтобы здесь был преобразован монодальный трансформатор. Что-то вроде этого (совершенно непроверенные):

import Control.Monad.Trans 
import Control.Monad.Except 

type MyMonadStack a = ExceptT String IO a 

loadData :: MyMonadStack [Market] 
loadData = do filedata <- lift $ B.readFile "markets.json" 
       v <- ExceptT $ parseData filedata 
       a <- ExceptT $ toEither $ fromJSON v 
       return a 

toEither :: WhateverTypeFromJSONReturns a b -> Either a b 
toEither (Error a) = Left a 
toEither (Success b) = Right b 

Answer 2

Если parseData и fromJSON оба имеют Either Err a как их области значений, где Err является фиксированным типом (может быть определено вами), то вы можете использовать экземпляр Either e монады как так:

loadData :: IO (Either Err [Market]) 
loadData = do 
    filedata <- B.readFile "markets.json" 
    return $ parseData filedata >>= fromJSON 

Или , если вы хотите быть лишним, вы можете использовать конкретный monad transformer, чтобы сделать то же самое.