-
Notifications
You must be signed in to change notification settings - Fork 349
/
nullability.scala
52 lines (38 loc) · 1.56 KB
/
nullability.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
43
44
45
46
47
48
49
50
51
52
// Copyright (c) 2013-2018 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.enum
import cats.kernel.Eq
/**
* Generic nullability that subsumes JDBC's distinct parameter and column nullability.
* @group Types
*/
sealed abstract class Nullability extends Product with Serializable {
def toParameterNullable: ParameterNullable =
ParameterNullable.fromNullability(this)
def toColumnNullable: ColumnNullable =
ColumnNullable.fromNullability(this)
}
/** @group Modules */
object Nullability {
sealed abstract class NullabilityKnown extends Nullability
/** @group Values */ case object NoNulls extends NullabilityKnown
/** @group Values */ case object Nullable extends NullabilityKnown
/** @group Values */ case object NullableUnknown extends Nullability
def fromBoolean(b: Boolean): Nullability =
if (b) Nullable else NoNulls
def fromParameterNullable(pn: ParameterNullable): Nullability =
pn match {
case ParameterNullable.NoNulls => NoNulls
case ParameterNullable.Nullable => Nullable
case ParameterNullable.NullableUnknown => NullableUnknown
}
def fromColumnNullable(pn: ColumnNullable): Nullability =
pn match {
case ColumnNullable.NoNulls => NoNulls
case ColumnNullable.Nullable => Nullable
case ColumnNullable.NullableUnknown => NullableUnknown
}
implicit val EqNullability: Eq[Nullability] =
Eq.fromUniversalEquals
}