搜索结果：typelevel（3 个）
按分类缩小范围
cats-effect
综合 56
Cats Effect 是 Scala 的高性能纯函数式异步运行时框架。它主要解决并发、异步任务调度及副作用管理难题；核心提供 `IO` monad 来安全捕获和控制同步或异步操作，并定义类型类（Typeclasses）规范，支持资源安全释放与并发协作。
Laika
综合 52
〔中文简介暂未生成〕 Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
cats-mtl
综合 49
Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类（如 EitherT、StateT 等）。它解决了多变换器同时引入时隐式转换产生二义性的问题，让开发者能在作用域内安全混用多种变换器，并配套提供了便于测试类型类实现的定律支持。