@ 受影响/ 爆炸

严格SemVer 2.0.0版本,幅度和比较器作为Effect schemas. SemVer, (中文(简体) ), Comparator 财务报告和审定财务报表 Range 为: Schema.Class因此,一个版本是一个有效的值 上面有方法,而不是一个字符串 你在每一个呼叫站点重排 FromString 解码器 解码器 并编码回它。 解析很严格:没有 v 前缀,无 = 前缀,在数字标识符上没有前缀,没有部分被消耗的输入。 每一次失败都是带有违法字符串和文法放弃的字符位置的标记错误. 零运行时间依赖,没有IO.

预1.0.0。 。 。 . 此软件包是 @effected/* 在稳定基础上建造的工具包 效应v4(effect ~4.1.0) 并仍在 0.x 发展。 稳定效果 制作一个工具箱 1.0.0 可能,不是自动的。 为了保持你的 effect 财务报告和审定财务报表 @effect/* 该工具包在线上构建和测试、安装 @effected/pnpm-plugin-effected。 。 。 .

稳定:不稳定. 此软件包的 API 表面尚未考虑 完成并可能改变 0.x 释放 定一个确切的版本——甚至 标记软件包 稳定 在此之前 1.0.0 可以引入突破性更改 和精确的针 变成一个类型检查错误 而不是一个 跑步时间惊喜。 完全政策: 释放策略。 。 。 .

为什么 @ effect/ semver

解析大多数工程的版本默认是宽大。 他们胁迫我 v1.2.3 财务报告和审定财务报表 =1.2.3 变成一个版本,然后手拿回来 null 当他们最终决定什么是错的时,或扔出什么,让你去重建失败的和在哪里。 解析后,结果将会是您为存储和再解析以比较而拼接的一包数字 。 这个包裹倒置。 班级 实值 因此,一个版本的字段 在您自己的计划 解码为真实 SemVer 并重新编码到其无胶合码的光圈字符串,您想要的操作以您已有的值进行活化.

失败的是 Schema.TaggedError 您路径的值 Effect.catchTag,每个结构而不是字符串: InvalidVersionError 携带 input 财务报告和审定财务报表 position, (中文(简体) ), UnsatisfiedRangeError 携带范围 财务报告和审定财务报表 每一个版本的可用 匹配它。 严相是想. 强制是一个关于您数据的决定 在一个你没有写到的库里, 它是版本错误隐藏的地方. Range.intersect 持有同一条线:相交 ^1.0.0 与 ^2.0.0 不悄悄地将一个与无相匹配的范围交回, 它失败了 UnsatisfiableConstraintError 有两个限制。 这里没有什么能修复你背后的输入.

安装

npm install @effected/semver effect

pnpm add @effected/semver effect

需要节点.js~~24.11.0.

全体 @effected/* 软件包仅为无害环境管理:只公布出口地图 import 条件,所以 require() 包括解析 CJS 模式的工具 —— 与节点失败 ERR_PACKAGE_PATH_NOT_EXPORTED 而不是装入不存在的 CJS 建筑。 从ES模块导入.

effect v4是唯一的对等依赖,它是任何种类的唯一依赖——没有剖析器,没有多填充器,没有平台包在它的后方搭载. 这里没有IO,所以边缘也没有东西可以提供: 整个地表都在下方 Effect.runSync,除 VersionCache,它带来了自己的层.

快开始

剖析、凸起、比较和测试一个版本,对照一个范围:

import { Range, SemVer } from "@effected/semver";
import { Effect } from "effect";

const program = Effect.gen(function* () {
  const version = yield* SemVer.parse("1.2.3");
  const next = version.bump.minor();
  const range = yield* Range.parse("^1.0.0");
  return [next.toString(), range.test(version), version.gt(next)] as const;
});

console.log(Effect.runSync(program));
// => ["1.3.0", true, false]

实例方法为犬科API:与 a.gt(b), (中文(简体) ), a.compare(b), (中文(简体) ), range.filter(versions)没有实例对应的操作是自有类上的双重静态,所以 Range.satisfies(version, range) 财务报告和审定财务报表 version.pipe(Range.satisfies(range)) 都一样 为了进行最后的数据比较,从下列来源得出: SemVer.Order数字 : Arr.filter(versions, Order.isGreaterThan(SemVer.Order)(floor))。 。 。 .

版本数

SemVer其字段在schema中被验证——组件的非负式安全整数,造型良好的预放和构建标识符——所以 SemVer.make 无法生成无效的版本。 使用 SemVer.parse 用于字符串和 SemVer.of(1, 2, 3) 对位置表.

import { SemVer } from "@effected/semver";
import { Effect } from "effect";

const program = Effect.gen(function* () {
  const stable = yield* SemVer.parse("1.0.0");
  const rc = yield* SemVer.parse("2.0.0-rc.1");
  return [
    stable.bump.prerelease("beta").toString(),
    rc.bump.prerelease().toString(),
    rc.isPrerelease,
    SemVer.truncate(rc, "prerelease").toString(),
  ] as const;
});

console.log(Effect.runSync(program));
// => ["1.0.1-beta.0", "2.0.0-rc.2", true, "2.0.0"]

跳出是节点-闪出兼容性:稳定的版本开始预放 下一个 补丁,切换标识符重置计数器,以及所坐位置最右侧的标识符递增(1.0.0-1.beta 变成 1.0.0-2.beta),与 0 只有在没有的情况下才予以补充。 构建元数据永远无法幸存.

平等遵循的是谱而不是弦. Equal.equals 忽略构建元数据(§10)并包括预释标识符(§11) SemVer 覆盖 [Hash.symbol] 因此,仅在构建元数据方面不同的两个版本是: HashSet 和一个插槽 VersionCache。 。 。 . SemVer.Order 按先后顺序排列; SemVer.OrderWithBuild 在构建元数据上添加一个词典连接断, 当您需要一个相对于不同版本字符串的总顺序时.

收集操作为静态: sort, (中文(简体) ), rsort, (中文(简体) ), max, (中文(简体) ), min, (中文(简体) ), groupBy (按主要、次要或补丁), latestByMajor 财务报告和审定财务报表 latestByMinor。 。 。 .

范围和比较国

A 类 Range 是比较器组合(AND)的联盟。 解析法接受节点-分解方言——连字符范围,X行距,平板,celt和 || ——去除它成为原始的参照物,使结果正常化. A 类 Comparator 一个操作员被应用在一个完整的版本上,没有通配符和糖;该词汇属于 Range。 。 。 .

import { Range, SemVer } from "@effected/semver";
import { Effect } from "effect";

const program = Effect.gen(function* () {
  const caret = yield* Range.parse("^1.0.0");
  const floor = yield* Range.parse(">=1.5.0");
  const both = yield* Range.intersect(caret, floor);
  const versions = [SemVer.of(1, 2, 0), SemVer.of(1, 6, 0), SemVer.of(2, 0, 0)];
  return [both.test(SemVer.of(1, 6, 0)), caret.filter(versions).map((v) => v.toString())] as const;
});

console.log(Effect.runSync(program));
// => [true, ["1.2.0", "1.6.0"]]

匹配执行节点-semver的预放出限制:只有当一个预放出版本在同一套上带有预放出时,才满足一个集 major.minor.patch tu. 这就是保持 ^1.2.3 从意外匹配 1.2.4-alpha。通过 Range.parse(input, { includePrerelease: true }) (亦为 Range.parseResult 财务报告和审定财务报表 VersionCache.resolveString取消该规则:将通配符地板降为第一次预放(^1.2 变成 >=1.2.0-0 <2.0.0-0和解析 Range 记录其中的选择 includePrerelease 所以每个配对者都以此为荣. Range.FromString 无法挂上旗帜; 结构形成回转.

范围代数是 union, (中文(简体) ), intersect, (中文(简体) ), isSubset, (中文(简体) ), equivalent 财务报告和审定财务报表 simplify。 。 。 . isSubset 是一个故意的保守近似:它可以报告 false 用于一个在技术上属于子集的范围,当子相距跨越了上行相距的参照国设定的边界。 假阴性是安全的,因为他们所做的只是拒绝简化.

比较两个版本

VersionDiff.between(a, b) 分类更改并带有已签名的组件三角洲。 这是一个 Schema.TaggedClass,所以diff序列化 如它计算干净.

import { SemVer, VersionDiff } from "@effected/semver";
import { Effect } from "effect";

const program = Effect.gen(function* () {
  const from = yield* SemVer.parse("1.2.3");
  const to = yield* SemVer.parse("2.0.0");
  const diff = VersionDiff.between(from, to);
  return [diff.type, diff.major, diff.toString()] as const;
});

console.log(Effect.runSync(program));
// => ["major", 1, "major (1.2.3 → 2.0.0)"]

type 名称 : "major", (中文(简体) ), "minor", (中文(简体) ), "patch", (中文(简体) ), "prerelease", (中文(简体) ), "build" 或者说 "none"。 。 。 .

版本缓存

VersionCache 是一个 Context.Service 超过一组分类的、被复制的版本——纯正状态 Ref没有IO。 当你持有一份已出版的版本清单和解决范围时,请联系它.

import { SemVer, VersionCache } from "@effected/semver";
import { Effect } from "effect";

const program = Effect.gen(function* () {
  const cache = yield* VersionCache;
  yield* cache.load([SemVer.of(1, 0, 0), SemVer.of(1, 4, 2), SemVer.of(2, 0, 0)]);
  const latest = yield* cache.latest();
  const resolved = yield* cache.resolveString("^1.0.0");
  return [latest.toString(), resolved.toString()] as const;
}).pipe(Effect.provide(VersionCache.layer));

console.log(Effect.runSync(program));
// => ["2.0.0", "1.4.2"]

二种出离相相别相. next 财务报告和审定财务报表 prev 失败 VersionNotFoundError 当关键版本不在缓存中时,并成功使用 Option.none() 当支柱坐落在一个边界上。 查询整个缓存( E)versions, (中文(简体) ), filter永不失败并返回 []。 。 。 .

错误

每一次失败都是 Schema.TaggedError 路由为 Effect.catchTag,带有结构化字段. 这个 message 盖特就是从那些田地中衍生出来的,从未被储存过.

这个 FromString 解码器通过通用程序报告相同的失败 Schema 解析带有相同信件的错误, 所以要解码和解码 parse 静态对于什么是有效的,从不持异议.

import { SemVer } from "@effected/semver";
import { Effect } from "effect";

// A leading `v` is not a version, and nothing here coerces it into one.
const program = SemVer.parse("v1.2.3").pipe(Effect.catch((error) => Effect.succeed(`${error._tag}: ${error.input}`)));

console.log(Effect.runSync(program));
// => "InvalidVersionError: v1.2.3"

特征

• SemVer ——版本模型:有计划验证的字段, parse 编号 : of 编号 : make 施工,撞穿 version.bump,比较作为实例方法和双重静态,光谱正确 Equal 财务报告和审定财务报表 Hash,以及收集的静态(sort, (中文(简体) ), max, (中文(简体) ), groupBy, (中文(简体) ), latestByMajor(中文(简体) ).
• Comparator ——单一操作者-+-版本的制约,以及将糖分解剂放入的原始.
• Range ——节点-同域方言解为已归正的比较方言集,并配对(test, (中文(简体) ), filter, (中文(简体) ), maxSatisfying, (中文(简体) ), minSatisfying)和代数(union, (中文(简体) ), intersect, (中文(简体) ), isSubset, (中文(简体) ), equivalent, (中文(简体) ), simplify) (中文(简体) ).
• VersionDiff ——两个版本的有签名组件deltas的分类差异,可被连为标记类.
• VersionCache ——一个排序的有射程分辨率和相邻导航的元版,由 VersionCache.layer。 。 。 .
• SemVer.FromString, (中文(简体) ), Comparator.FromString, (中文(简体) ), Range.FromString ——相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相接相相接相接相接相相接相相接相相相接相接相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相相.
• 7个标记错误,每个携带结构化有效载荷的呼叫者需要报告实际出错的情况.

许可证

麻省理工学院