搜索结果：typelevel（14 个）
按分类缩小范围
http4s
综合 60
〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP
doobie
综合 59
doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。
scalacheck
综合 58
ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。
cats-effect
综合 56
Cats Effect 是 Scala 的高性能纯函数式异步运行时框架。它主要解决并发、异步任务调度及副作用管理难题；核心提供 `IO` monad 来安全捕获和控制同步或异步操作，并定义类型类（Typeclasses）规范，支持资源安全释放与并发协作。
fs2
综合 55
FS2 是 Scala 的纯函数式流式 I/O 处理库，主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流（Stream）和拉取（Pull）抽象，在保障资源安全与高性能的同时，支持与 Cats-Effect 等不同副作用库结合使用。
refined
综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。
cats-tagless
综合 52
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras
fs2-kafka
综合 52
fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。
Laika
综合 52
〔中文简介暂未生成〕 Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
natchez
综合 50
Natchez 是一个面向 Scala 的函数式分布式链路追踪库。它结合 Cats 和 Cats-effect 生态，帮助开发者在微服务架构中追踪请求调用链路。核心功能是提供统一的追踪抽象，并支持接入 Jaeger、OpenTracing、Honeycomb 等后端工具进行监控与诊断。
cats-mtl
综合 49
Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类（如 EitherT、StateT 等）。它解决了多变换器同时引入时隐式转换产生二义性的问题，让开发者能在作用域内安全混用多种变换器，并配套提供了便于测试类型类实现的定律支持。
mouse
综合 47
Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题，为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法，让基础数据类型与函数式编程的结合更顺畅。
jawn
综合 43
Jawn 是一个专注于极致解析速度的 Scala 通用 JSON 解析器。它主要解决 Scala 环境下 JSON 解析性能不足的问题，支持将 JSON 快速解析为自身或第三方的 AST。核心功能包括支持字符串、文件等多种输入源，以及提供多种模式的异步流式解析。