base-4.14.1.0:基本库
版权(c) 格拉斯哥大学2001
许可证BSD样式(请参阅文件库/base/LICENSE)
维护人员librarys@haskell.org
稳定性实验的
便携性便携式的
安全哈斯克尔值得信赖的
语言哈斯克尔2010

数据。布尔

描述

这个布尔类型和相关功能。

简介

布尔值

数据 布尔 #

实例

实例详细信息
有边界 布尔 来源 #

自:2.1

实例详细信息

定义于全球总部。枚举

枚举 布尔 来源 #

自:2.1

实例详细信息

定义于全球总部。枚举

等式 布尔 
实例详细信息

定义于全球总部。课程

数据 布尔 来源 #

自:4.0.0.0

实例详细信息

定义于数据。数据

方法

gfoldl公司:: (对于所有人d b。数据d=>c(d->b)->d->c b)->(对于所有人克->克)->布尔->c(c)布尔 来源 #

枪套时间:(对于所有人b.右侧。数据b=>c(b->r)->c r)->(对于所有人r r->c r)->施工->c(c)布尔 来源 #

至Constr::布尔->施工 来源 #

数据类型属于::布尔->数据类型 来源 #

数据广播1::可打字的t=>(对于所有人d。数据d=>c(t d))->也许 吧(c)布尔)来源 #

数据广播2::可输入t=>(对于所有人日期e(数据日期:,数据e) =>c(t d e))->也许 吧(c)布尔)来源 #

gmapT(gmapT):: (对于所有人b。数据b=>b->b)->布尔->布尔 来源 #

gmapQl公司::(r->r'->r)->r->(对于所有人d。数据d=>d->r’)->布尔->第页来源 #

gmapQr公司::对于所有人r r’。(r'->r->r)->r->(对于所有人d。数据d=>d->r’)->布尔->第页来源 #

gmapQ(gmapQ):: (对于所有人d。数据d=>d->u)->布尔->[单位]来源 #

gmapQi公司::国际-> (对于所有人d。数据d=>d->u)->布尔->u个来源 #

gmapM公司::莫纳德m=>(对于所有人d。数据d=>d->m d)->布尔->米布尔 来源 #

gmapMp::MonadPlus系列m=>(对于所有人d。数据d=>d->m d)->布尔->米布尔 来源 #

gmapMo公司::MonadPlus系列m=>(对于所有人d。数据d=>d->m d)->布尔->米布尔 来源 #

订单 布尔 
实例详细信息

定义于全球总部。课程

阅读 布尔 来源 #

自:2.1

实例详细信息

定义于全球总部。阅读

显示 布尔 来源 #

自:2.1

实例详细信息

定义于全球总部。显示

Ix公司 布尔 来源 #

自:2.1

实例详细信息

定义于全球总部。Ix公司

通用 布尔 来源 #

自:4.6.0.0

实例详细信息

定义于全球总部。泛型

关联的类型

类型 代表 布尔::类型->类型 来源 #

FiniteBits有限位 布尔 来源 #

自:4.7.0.0

实例详细信息

定义于数据。

布尔 来源 #

翻译布尔作为1位位场

自:4.7.0.0

实例详细信息

定义于数据。

可存储 布尔 来源 #

自:2.1

实例详细信息

定义于国外。可存储

类型 代表 布尔 来源 # 
实例详细信息

定义于全球总部。泛型

操作

(&&)::布尔->布尔->布尔 中缀3 #

布尔型“and”,在第二个参数中惰性

(||)::布尔->布尔->布尔 中缀2 #

布尔型“or”,在第二个参数中惰性

::布尔->布尔 #

布尔“not”

否则::布尔 来源 #

否则定义为值真的。它有助于卫士更具可读性。如。

f x | x<0=。。。|否则=。。。

布尔::a->a->布尔->一个来源 #

案例分析布尔类型。布尔x y p(x y p)计算结果为x个什么时候第页False(错误),计算结果为什么时候第页真的.

这相当于如果p,则y,否则x; 也就是说,一个人可以将其视为带有参数的if-then-else构造重新排序。

示例

展开

基本用法:

>>>bool“foo”“bar”True“酒吧”>>>bool“foo”“bar”错误“foo”

确认布尔x y p(x y p)如果p,则y,否则x等效值:

>>>设p=真;x=“巴”;y=“foo”>>>bool x y p==如果p,则y else x真的>>>设p=假>>>bool x y p==如果p,则y else x真的

自:4.7.0.0