搜索结果：typelevel（9 个）
按分类缩小范围
http4s
综合 60
〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP
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
mouse
综合 47
Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题，为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法，让基础数据类型与函数式编程的结合更顺畅。
jawn
综合 43
Jawn 是一个专注于极致解析速度的 Scala 通用 JSON 解析器。它主要解决 Scala 环境下 JSON 解析性能不足的问题，支持将 JSON 快速解析为自身或第三方的 AST。核心功能包括支持字符串、文件等多种输入源，以及提供多种模式的异步流式解析。