forked from tpolecat/doobie
-
Notifications
You must be signed in to change notification settings - Fork 0
/
fetchdirection.scala
42 lines (30 loc) · 1.18 KB
/
fetchdirection.scala
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
// Copyright (c) 2013-2020 Rob Norris and Contributors
// This software is licensed under the MIT License (MIT).
// For more information see LICENSE or https://opensource.org/licenses/MIT
package doobie.enumerated
import cats.ApplicativeError
import cats.kernel.Eq
import cats.kernel.instances.int.*
import doobie.util.invariant.*
import java.sql.ResultSet.*
/** @group Types */
sealed abstract class FetchDirection(val toInt: Int) extends Product with Serializable
/** @group Modules */
object FetchDirection {
/** @group Values */
case object Forward extends FetchDirection(FETCH_FORWARD)
/** @group Values */
case object Reverse extends FetchDirection(FETCH_REVERSE)
/** @group Values */
case object Unknown extends FetchDirection(FETCH_UNKNOWN)
def fromInt(n: Int): Option[FetchDirection] =
Some(n) collect {
case Forward.toInt => Forward
case Reverse.toInt => Reverse
case Unknown.toInt => Unknown
}
def fromIntF[F[_]](n: Int)(implicit AE: ApplicativeError[F, Throwable]): F[FetchDirection] =
ApplicativeError.liftFromOption(fromInt(n), InvalidOrdinal[FetchDirection](n))
implicit val EqFetchDirection: Eq[FetchDirection] =
Eq.by(_.toInt)
}