导言

欢迎使用文档 @effect/typeclass, (中文(简体) ), 可重复使用的效应生态系统类型集合。 。 。 .

函数抽象 @effect/typeclass 可以大致分为两类.

• 混凝土类型摘要 - 这些抽象定义了具体类型的属性,例如: number 财务报告和审定财务报表 string以及结合这些价值观的方法.
• 参数化类型摘要 - 这些抽象定义参数化类型的属性,例如: ReadonlyArray 财务报告和审定财务报表 Option 以及如何结合它们.

混凝土类型

成员和衍生职能

注:成员以黑体表示.

边界

一个类型类用来命名一个类型的下限和上限.

扩展 :

• Order

单词

A 类 Monoid 是一个 Semigroup 带着身份 A 类 Monoid 是一个专业 Semigroup因此,它的运作必须是联合的。 此外, x |> combine(empty) == empty |> combine(x) == x。例如,如果 Monoid<String>, (中文(简体) ), 与 combine 作为字符串连接,然后 empty = ""。 。 。 .

扩展 :

• Semigroup

半组

A 类 Semigroup 是任意一组 A (b) 联合作业combine:

x |> combine(y) |> combine(z) == x |> combine(y |> combine(z))

参数化类型

参数化类型

flowchart TD
    Alternative --> SemiAlternative
    Alternative --> Coproduct
    Applicative --> Product
    Coproduct --> SemiCoproduct
    SemiAlternative --> Covariant
    SemiAlternative --> SemiCoproduct
    SemiApplicative --> SemiProduct
    SemiApplicative --> Covariant
    Applicative --> SemiApplicative
    Chainable --> FlatMap
    Chainable ---> Covariant
    Monad --> FlatMap
    Monad --> Pointed
    Pointed --> Of
    Pointed --> Covariant
    Product --> SemiProduct
    Product --> Of
    SemiProduct --> Invariant
    Covariant --> Invariant
    SemiCoproduct --> Invariant

成员和衍生职能

注:成员以黑体表示.

备选案文

扩展 :

• SemiAlternative
• Coproduct

实用性

扩展 :

• SemiApplicative
• Product

比可变体

产生两种独立、共变类型类型 乐手.

可连锁

扩展 :

• FlatMap
• Covariant

相悖性

相矛盾的分泌器.

扩展 :

• Invariant

副产品

Coproduct 是一种通用的单体,它运作于种类.

此类型类对其类型参数有用 F<_> 有一个 可结合任何特定类型的结构,以及 亦有"零"代表. 因此, Coproduct 就像一个 Monoid 用于种类(即被瘫痪的种类).

A 类 Coproduct<F> 可以产生一个 Monoid<F<A>> 用于任何类型 A。 。 。 .

这是如何区分 Monoid 财务报告和审定财务报表 Coproduct数字 :

• Monoid<A> 允许 A 要合并的数值,也意味着那里 是一个"空" A 值,该值作为身份函数.

• Coproduct<F> 允许两个 F<A> 任何 A。 也意味着对于任何 A有一个"零" F<A> 数值。 这个 组合操作和零值仅取决于 联合国 F,但结构上没有 A。 。 。 .

扩展 :

• SemiCoproduct

共变

共相调伏者.

扩展 :

• Invariant

可过滤

Filterable<F> 允许您 map 并同时过滤出元素.

平面映射

可折叠

可折叠为汇总值的数据结构.

对于收藏品(例如: ReadonlyArray,这些 方法将叠加(压缩) 以生成一个结果。 大多数收藏类型都有 reduce 方法,通常用于相关 Foldable<F> 举个例子.

变化性

无常趣相.

修道院

允许依赖性功能的构成 .

扩展 :

• FlatMap
• Pointed

员额

指针

扩展 :

• Covariant
• Of

产品

扩展 :

• SemiProduct
• Of

半替代

扩展 :

• SemiCoproduct
• Covariant

半辅助

扩展 :

• SemiProduct
• Covariant

半副产品

SemiCoproduct 是一个通用的半群,以类型为对象.

此类型类对其类型参数有用 F<_> 有一个 用于任何特定类型的结构。 因此, SemiCoproduct 就像一个 Semigroup 类别(即: 类型).

A 类 SemiCoproduct<F> 可以产生一个 Semigroup<F<A>> 用于任何A类.

这是如何区分 Semigroup 财务报告和审定财务报表 SemiCoproduct数字 :

• Semigroup<A> 允许两个 A 要合并的数值.

• SemiCoproduct<F> 允许两个 F<A> 任何 A。 。 。 . 组合操作只是取决于结构 F, (中文(简体) ), 但不是结构 A。 。 。 .

扩展 :

• Invariant

半生产

扩展 :

• Invariant

可移动

穿过一个有效果的结构.

可逆易变

TraversableFilterable,也称为 Witherable,代表类似列表的结构 基本上可以有一个 traverse (单位:千美元) filter 作为单一应用 联合行动(traverseFilter) (中文(简体) ).

改编自:

• 猫
• 齐奥序曲
• 齐奥加热表