base-4.14.1.0：基本库
版权（C） 2015年David Luposchainsky
（C） 2015年赫伯特·瓦莱里奥·里德尔
许可证BSD样式（请参阅文件LICENSE）
维护人员librarys@haskell.org
稳定性临时的
便携性便携式的
安全哈斯克尔值得信赖的
语言哈斯克尔2010

控制。莫纳德。失败

描述

过渡模块提供单数失败类和基元实例。

可以导入此模块以定义向前兼容单数失败实例：

进口合格的控制。莫纳德。失败即失败例如Monad Foo，其中（>>=）={-…绑定实现…-}--提供遗产失败何时实现--未启用新型MonadFail去糖功能。fail=失败.fail实例失败。MonadFail Foo，其中fail={-…实现失败…-}

请参见https://prime.haskell.org/wiki/Libries/Proposals/MonadFail了解更多详细信息。

自：4.9.0.0

简介

文档

班 莫纳德m=>单数失败米哪里 来源 #

在中绑定值时做-符号，左边的图案的手侧<-可能不匹配。在这种情况下，这个类提供了一个要恢复的函数。

A类莫纳德没有单数失败实例只能结合使用具有始终匹配的模式，例如newtypes、tuples、数据类型只有一个数据构造函数和无可辩驳的模式(~帕特).

的实例单数失败应符合以下法律：失败s应该为>>=,

失败s>>=f=失败s

如果您的莫纳德也是MonadPlus系列，一个流行的定义是

失败_=mzero

自：4.9.0.0

方法

失败::字符串->百万来源 #

实例

实例详细信息
单数失败[] 来源 #

自：4.9.0.0

实例详细信息

定义于控制。莫纳德。失败

方法

失败::字符串->【a】来源 #

单数失败 也许 吧 来源 #

自：4.9.0.0

实例详细信息

定义于控制。莫纳德。失败

方法

失败::字符串->也许 吧一来源 #

单数失败 IO（输入输出） 来源 #

自：4.9.0.0

实例详细信息

定义于控制。莫纳德。失败

方法

失败::字符串->IO（输入输出）一来源 #

单数失败 ReadP（读取P） 来源 #

自：4.9.0.0

实例详细信息

定义于文本。ParserCombinators。ReadP（读取P）

方法

失败::字符串->ReadP（读取P）一来源 #

单数失败 ReadPrec（预读） 来源 #

自：4.9.0.0

实例详细信息

定义于文本。ParserCombinators。ReadPrec（预读）

方法

失败::字符串->ReadPrec（预读）一来源 #

单数失败(装货单s） 来源 #

自：4.11.0.0

实例详细信息

定义于全球总部。装货单

方法

失败::字符串->装货单是一个来源 #

单数失败(装货单s） 来源 #

自：4.10

实例详细信息

定义于控制。莫纳德。ST.懒惰。Imp公司

方法

失败::字符串->装货单是一个来源 #

单数失败f=>单数失败(阿普f） 来源 #

自：4.12.0.0

实例详细信息

定义于数据。单体

方法

失败::字符串->阿普财务报表来源 #