forked from tpolecat/doobie
-
Notifications
You must be signed in to change notification settings - Fork 0
/
holdability.scala
38 lines (27 loc) · 1.14 KB
/
holdability.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
// 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 Holdability(val toInt: Int) extends Product with Serializable
/** @group Modules */
object Holdability {
/** @group Values */
case object HoldCursorsOverCommit extends Holdability(HOLD_CURSORS_OVER_COMMIT)
/** @group Values */
case object CloseCursorsAtCommit extends Holdability(CLOSE_CURSORS_AT_COMMIT)
def fromInt(n: Int): Option[Holdability] =
Some(n) collect {
case HoldCursorsOverCommit.toInt => HoldCursorsOverCommit
case CloseCursorsAtCommit.toInt => CloseCursorsAtCommit
}
def fromIntF[F[_]](n: Int)(implicit AE: ApplicativeError[F, Throwable]): F[Holdability] =
ApplicativeError.liftFromOption(fromInt(n), InvalidOrdinal[Holdability](n))
implicit val EqHoldability: Eq[Holdability] =
Eq.by(_.toInt)
}