cats-effect-io
Cats Effect IO (Scala)
Quick start
- Treat every side effect as an effect value: return
IO[A],SyncIO[A], orF[A]withF[_]: Sync/Async/Temporalas needed. - Wrap Java blocking calls with
IO.blockingorIO.interruptible(orSync[F].blocking/interruptible). - Use
Resourceto acquire/release resources andIOAppfor program entry points. - Prefer structured concurrency (
parTraverse,parMapN,background,Supervisor) over manual fiber management. - Do not use
unsafeRun*(unsafeRunSync,unsafeRunAndForget, etc.) in app code or tests; for interop with non-Cats-Effect callback APIs, useDispatcher. - Read
references/cats-effect-io.mdfor concepts, recipes, and FAQ guidance. - For deeper
Resourceguidance, use thecats-effect-resourceskill (install:npx skills add https://github.com/alexandru/skills --skill cats-effect-resource).
Workflow
- Classify side effects and choose the effect type:
IOdirectly or polymorphicF[_]with the smallest required Cats Effect typeclass (Sync,Async,Temporal,Concurrent). - Wrap side-effectful code using
IO(...),IO.blocking,IO.interruptible, orIO.async(or theirSync/Asyncequivalents). - Manage resources with
Resourceorbracketand keep acquisition/release inside effects. - Compose effects with
flatMap/for-comprehensions and collection combinators (traverse,parTraverse). - Use concurrency primitives (
Ref,Deferred,Queue,Semaphore,Supervisor) and structured concurrency to avoid fiber leaks. - Keep effect execution at boundaries (
IOApp, framework runtime); for callback-style interop, bridge withDispatcher.
More from alexandru/skills
cats-effect-resource
Scala resource lifecycle management with Cats Effect `Resource` and `IO`. Use when defining safe acquisition/release, composing resources (including parallel acquisition), or designing resource-safe APIs and cancellation behavior for files, streams, pools, clients, and background fibers.
37cats-mtl-typed-errors
Scala typed errors with Cats MTL Raise/Handle and allow/rescue. Use for designing custom domain error types without EitherT, while keeping Cats Effect and ecosystem composition. Covers Scala 2/3 syntax and IO-only or F[_] usage.
24akka-streams
Scala reactive streaming with Akka Streams and Pekko Streams. Use for dataflow and reactive programming patterns, testing stream components, and understanding when NOT to use streams (prefer plain functions for transformations and I/O).
20arrow-typed-errors
Kotlin + Arrow typed error handling using Raise DSL and wrapper types (Either/Option/Ior/Result/nullable), including validation with accumulation, interop with exceptions, and custom error wrappers. Use for designing or refactoring error modeling, converting exception-based flows, building smart constructors, accumulating validation errors, or integrating Outcome/Progress-style wrappers with Arrow.
16kotlin-java-library
Kotlin design for Java libraries and Java consumers. Use when building Kotlin code intended for Java callers, aligning with Java interop, JVM annotations, records, and backward/binary compatibility rules.
15jspecify-nullness
JSpecify nullness annotations for Java APIs and tooling. Use when adopting or migrating JSpecify annotations, designing null-safe Java signatures and generics, or interpreting tool conformance and Kotlin interop.
14