搜索结果：typelevel（4 个）
按分类缩小范围
doobie
综合 59
doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。
cats-effect
综合 56
Cats Effect 是 Scala 的高性能纯函数式异步运行时框架。它主要解决并发、异步任务调度及副作用管理难题；核心提供 `IO` monad 来安全捕获和控制同步或异步操作，并定义类型类（Typeclasses）规范，支持资源安全释放与并发协作。
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。
cats-mtl
综合 49
Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类（如 EitherT、StateT 等）。它解决了多变换器同时引入时隐式转换产生二义性的问题，让开发者能在作用域内安全混用多种变换器，并配套提供了便于测试类型类实现的定律支持。