搜索结果：typelevel（4 个）
按分类缩小范围
scalacheck
综合 58
ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。
refined
综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
natchez
综合 50
Natchez 是一个面向 Scala 的函数式分布式链路追踪库。它结合 Cats 和 Cats-effect 生态，帮助开发者在微服务架构中追踪请求调用链路。核心功能是提供统一的追踪抽象，并支持接入 Jaeger、OpenTracing、Honeycomb 等后端工具进行监控与诊断。
mouse
综合 47
Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题，为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法，让基础数据类型与函数式编程的结合更顺畅。