doobie-core
API
Generated with
doobie-core/doobie/doobie.util/invariant

invariant

doobie.util.invariant$
object invariant

Module defining the type of exceptions representing unmet expectations. These typically indicate a problem with the schema, with type mapping, with driver compliance, and so on. The intent is that they be as fine-grained as reasonable for diagnostic purposes, but it is not expected that the application should be able to handle them in any meaningful way.

Attributes

Source
invariant.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
invariant.type

Members list

Type members

Classlikes

sealed abstract class ArrayStructureViolation(msg: String) extends InvariantViolation

Array violations. Not terribly illuminating at this point.

Array violations. Not terribly illuminating at this point.

Attributes

Source
invariant.scala
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object NullableCellRead.type
object NullableCellUpdate.type
final case class InvalidEnum[A](value: String)(implicit ev: TypeName[A]) extends InvariantViolation

Unexpected string value for an enumerated type.

Unexpected string value for an enumerated type.

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidObjectMapping[A, B](expected: Class[A], actual: Class[B]) extends InvariantViolation

Invalid JAVA_OBJECT mapping.

Invalid JAVA_OBJECT mapping.

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidOrdinal[A](value: Int)(implicit ev: TypeName[A]) extends InvariantViolation

Unexpected ordinal value for an enumerated type.

Unexpected ordinal value for an enumerated type.

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InvalidValue[A, B](value: A, reason: String)(implicit sA: Show[A], evA: TypeName[A], evB: TypeName[B]) extends InvariantViolation

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
sealed abstract class InvariantViolation(msg: String) extends Exception

Attributes

Source
invariant.scala
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object NullableCellRead.type
object NullableCellUpdate.type
class InvalidEnum[A]
class InvalidObjectMapping[A, B]
class InvalidOrdinal[A]
class InvalidValue[A, B]
object UnexpectedEnd.type
Show all
sealed abstract class MappingViolation(msg: String) extends InvariantViolation

The type of schema violations.

The type of schema violations.

Attributes

Source
invariant.scala
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
final case class NonNullableColumnRead(index: Int, jdbcType: JdbcType) extends MappingViolation

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class NonNullableColumnUpdate(index: Int, jdbcType: JdbcType) extends MappingViolation

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class NonNullableParameter(index: Int, jdbcType: JdbcType) extends MappingViolation

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
case object NullableCellRead extends ArrayStructureViolation

Attributes

Source
invariant.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
case object NullableCellUpdate extends ArrayStructureViolation

Attributes

Source
invariant.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
final case class SecondaryValidationFailed[A](value: String)(implicit ev: TypeName[A]) extends InvariantViolation

Attributes

Source
invariant.scala
Supertypes
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
case object UnexpectedContinuation extends UnexpectedCursorPosition

Attributes

Source
invariant.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
sealed abstract class UnexpectedCursorPosition(msg: String) extends InvariantViolation

Attributes

Source
invariant.scala
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object UnexpectedEnd.type
case object UnexpectedEnd extends UnexpectedCursorPosition

Attributes

Source
invariant.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Generated with