We use fail in servant-pipes

This commit is contained in:
Oleg Grenrus 2019-09-11 10:42:03 +03:00
parent 598dc79492
commit 87247211e6

View file

@ -65,7 +65,7 @@ instance (MonadIO m, a' ~ X, a ~ (), b' ~ (), r ~ ())
fromSourceIO src = M $ liftIO $ S.unSourceT src (return . go) where fromSourceIO src = M $ liftIO $ S.unSourceT src (return . go) where
go :: S.StepT IO b -> Proxy X () () b m () go :: S.StepT IO b -> Proxy X () () b m ()
go S.Stop = Pure () go S.Stop = Pure ()
go (S.Error err) = M (fail err) go (S.Error err) = M (liftIO (fail err))
go (S.Skip s) = go s -- drives go (S.Skip s) = go s -- drives
go (S.Effect ms) = M (liftIO (fmap go ms)) go (S.Effect ms) = M (liftIO (fmap go ms))
go (S.Yield x s) = Respond x (const (go s)) go (S.Yield x s) = Respond x (const (go s))