Skip to content

Fixed missing imports #567

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
armanbilge merged 2 commits into from
Jan 31, 2026
Merged

Fixed missing imports #567

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0f73ac9
Fixed missing imports
seblm Sep 27, 2025
47b9dea
Tweak imports
armanbilge Jan 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions collections/_posts/2025-09-02-custom-error-types.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,11 @@ However, the basic idea of MTL itself, divorced from the *datatypes* (like `Eith
The problem has been to find a way to blend all of these constructs together in a way that practically *works* with the ecosystem, is syntactically lightweight, has pleasant type inference and errors, and doesn't confuse the heck out of anyone who touches it. That is a problem we feel we have now solved, at least with errors.

```scala
import cats.Monad
import cats.effect.IO
import cats.mtl.syntax.raise.given
Comment thread
armanbilge marked this conversation as resolved.
Outdated
import cats.mtl.{Handle, Raise}
import cats.syntax.applicative.given
Comment thread
armanbilge marked this conversation as resolved.
Outdated

// define a domain error type
enum ParseError:
Expand Down Expand Up @@ -93,8 +96,11 @@ At the end of the `allow` scope, we call `.rescue`, and this requires us to pass
Oh, and just in case you were wondering, this syntax *does* work on Scala 2 as well, it's just a bit less fancy! Here's the same snippet from above, but with 100% more braces and a lot more explicit types:

```scala
import cats.Monad
import cats.effect.IO
import cats.mtl.syntax.raise._
Comment thread
armanbilge marked this conversation as resolved.
Outdated
import cats.mtl.{Handle, Raise}
import cats.syntax.applicative._
Comment thread
armanbilge marked this conversation as resolved.
Outdated

// define a domain error type
sealed trait ParseError extends Product with Serializable
Expand Down