- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在构建一个 Haskell 应用程序,并试图弄清楚如何构建错误处理机制。在实际的应用程序中,我正在使用 Mongo 进行大量工作。但是,为此,我将通过对文件进行基本 IO 操作来进行简化。
因此,对于这个测试应用程序,我想读入一个文件并验证它是否包含正确的斐波那契序列,每个值用空格分隔:
1 1 2 3 5 8 13 21
现在,在读取文件时,许多事情实际上都可能是错误的,我将把所有这些都称为 exceptions in the Haskell usage of the word .
data FibException = FileUnreadable IOError
| FormatError String String
| InvalidValue Integer
| Unknown String
instance Error FibException where
noMsg = Unknown "No error message"
strMsg = Unknown
编写一个纯函数来验证序列并在序列无效的情况下抛出错误很容易(尽管我可能可以做得更好):
verifySequence :: String -> (Integer, Integer) -> Either FibException ()
verifySequence "" (prev1, prev2) = return ()
verifySequence s (prev1, prev2) =
let readInt = reads :: ReadS Integer
res = readInt s in
case res of
[] -> throwError $ FormatError s
(val, rest):[] -> case (prev1, prev2, val) of
(0, 0, 1) -> verifySequence rest (0, 1)
(p1, p2, val') -> (if p1 + p2 /= val'
then throwError $ InvalidValue val'
else verifySequence rest (p2, val))
_ -> throwError $ InvalidValue val
之后,我想要读取文件并验证序列的函数:
type FibIOMonad = ErrorT FibException IO
verifyFibFile :: FilePath -> FibIOMonad ()
verifyFibFile path = do
sequenceStr <- liftIO $ readFile path
case (verifySequence sequenceStr (0, 0)) of
Right res -> return res
Left err -> throwError err
如果文件格式无效(它返回 Left (FormatError "something")
)或者文件的数字不按顺序排列(左(InvalidValue 15)
)。但如果指定的文件不存在,则会抛出错误。
如何捕获 readFile 可能产生的 IO 错误,以便将其转换为 FileUnread 错误?
顺便问一下,这是最好的方法吗?我看到了 verifyFibFile
的调用者不必设置两种不同的异常处理机制,而可以只捕获一种异常类型的优点。
最佳答案
您通常可以考虑 EitherT
和 errors
包。 http://hackage.haskell.org/packages/archive/errors/1.3.1/doc/html/Control-Error-Util.html有一个实用程序 tryIO
用于捕获 EitherT
中的 IOError
,您可以使用 fmapLT
将错误值映射到您的自定义类型.
具体:
type FibIOMonad = EitherT FibException IO
verifyFibFile :: FilePath -> FibIOMonad ()
verifyFibFile path = do
sequenceStr <- fmapLT FileUnreadable (tryIO $ readFile path)
hoistEither $ verifySequence sequenceStr (0, 0)
关于haskell - 如何将 IOError 异常与本地相关异常结合起来?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14166205/
我有一个 python 脚本,它创建一个 tar 文件,将文件移动到 tar 文件中,然后删除它们。 我可以毫无问题地手动运行脚本。但是当它从 cron 运行时,它失败了: IOError: [Err
我正在尝试从我的Python脚本打开文件recentlyUpdated.yaml。但当我尝试使用时:。我收到一个错误,内容是:。为什么?我怎样才能解决这个问题?
我正在尝试从我的Python脚本打开文件recentlyUpdated.yaml。但当我尝试使用时:。我收到一个错误,内容是:。为什么?我怎样才能解决这个问题?
我正在尝试从我的Python脚本打开文件recentlyUpdated.yaml。但当我尝试使用时:。我收到一个错误,内容是:。为什么?我怎样才能解决这个问题?
尝试将数据加载为 Excel 作为响应时,出现 IO 请求数据读取错误。 def convert_to_excel(request): field = forms.CharField()
我正在尝试读取文件夹树中的一系列 DICOM 文件,并且我使用下面的代码来运行树,边读取每个文件。问题是我收到确实存在的文件的 IOErrors,我已经检查了文件权限和其他 SO 线程,例如 Pyth
我有一个类可以读取特定格式的文件。这些文件的大小往往大于 8Gb,因此通常会进行压缩。在读取文件时,我想捕获文件未被压缩的错误,但 except IOError: 和 except: 都不会这样做,出
这个问题在这里已经有了答案: open() gives FileNotFoundError / IOError: '[Errno 2] No such file or directory' (8 个
给定这段代码: try: #do something except IOError as message: logging.error(message)
for subdir, dirs, files in os.walk(crawlFolder): for file in files: print os.getcwd()
我正在尝试导入模块并创建其类的对象,如下所示: >>> import scriptsim >>> scriptsim.Simulator() 但出现以下错误: Traceback (most rece
我正在使用以下第三方库在 Django 中编写网络应用程序: Django==1.6.1 argparse==1.2.1 cffi==0.8.1 pycparser==2.10 pylast==0.5
我正在使用 python-crontab module确保每天下午 2 点运行我的脚本。 但是我在执行脚本时遇到了一些 IOErrors Traceback: File "backup.py", li
我正在编写一个程序来更改我的桌面背景。它通过读取文本文件来完成此操作。如果文本文件显示其中一个 BG 文件名,它会将那个保存为我的背景,并将另一个的名称写入文件并关闭它。 我似乎无法让它工作。 这是我
我从未见过 IOError被抛出。文档中关于 IOError 的唯一内容是: Thrown when a serious I/O error has occurred. 没有任何子类或其他明显的东西。
我正在尝试下载链接并将其放置在downloads文件夹中,但是出现权限错误。我是计算机上的管理员用户,我也以管理员模式运行它。仍然我得到同样的错误。 这是我使用的代码: urllib.urlretri
我正在构建一个 Haskell 应用程序,并试图弄清楚如何构建错误处理机制。在实际的应用程序中,我正在使用 Mongo 进行大量工作。但是,为此,我将通过对文件进行基本 IO 操作来进行简化。 因此,
当我尝试重试失败的任务时,我会间歇性地(大约 20% 的时间)从 Celery 收到 IOError 异常。 这是我的任务: @task def update_data(pk_id): tr
我编写了一个 python 脚本,想要将日志写入/var/log/myapp.log 中的文件。然而,在某些平台上这并不存在,或者我们可能没有这样做的权限。既然如此,我想尝试在其他地方写。 def g
我已经使用 getopts 编写了一个脚本来接受四个用户输入项(两个输入文件和两个输出文件)。但由于某种原因,我不断收到此错误: python2.7 compare_files.py -b /tmp/
我是一名优秀的程序员,十分优秀!