-
Notifications
You must be signed in to change notification settings - Fork 156
/
Validate.scala
114 lines (90 loc) · 3.57 KB
/
Validate.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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
package eu.timepit.refined.api
import eu.timepit.refined.internal.Resources
import scala.util.Try
import scala.util.control.NonFatal
/**
* Type class for validating values of type `T` according to a type-level
* predicate `P`. The semantics of `P` are defined by the instance(s) of
* this type class for `P`.
*/
trait Validate[T, P] extends Serializable { self =>
type R
final type Res = Result[R]
def validate(t: T): Res
/** Returns a string representation of this `[[Validate]]` using `t`. */
def showExpr(t: T): String
def showResult(t: T, r: Res): String =
Resources.predicateResultDetailDot(r, showExpr(t))
/** Checks if `t` satisfies the predicate `P`. */
final def isValid(t: T): Boolean =
validate(t).isPassed
/** Checks if `t` does not satisfy the predicate `P`. */
final def notValid(t: T): Boolean =
validate(t).isFailed
/**
* Returns the result of `[[showExpr]]` in a `List`. Can be overridden
* to accumulate the string representations of sub-predicates.
*/
def accumulateShowExpr(t: T): List[String] =
List(showExpr(t))
private[refined] def contramap[U](f: U => T): Validate.Aux[U, P, R] =
new Validate[U, P] {
override type R = self.R
override def validate(u: U): Res = self.validate(f(u))
override def showExpr(u: U): String = self.showExpr(f(u))
override def showResult(u: U, r: Res): String = self.showResult(f(u), r)
override def accumulateShowExpr(u: U): List[String] = self.accumulateShowExpr(f(u))
}
}
object Validate {
type Aux[T, P, R0] = Validate[T, P] { type R = R0 }
type Plain[T, P] = Aux[T, P, P]
def apply[T, P](implicit v: Validate[T, P]): Aux[T, P, v.R] = v
/** Constructs a `[[Validate]]` from its parameters. */
def instance[T, P, R0](f: T => Result[R0], g: T => String): Aux[T, P, R0] =
new Validate[T, P] {
override type R = R0
override def validate(t: T): Res = f(t)
override def showExpr(t: T): String = g(t)
}
/** Constructs a constant `[[Validate]]` from its parameters. */
def constant[T, P, R](isValidV: Result[R], showV: String): Aux[T, P, R] =
instance(_ => isValidV, _ => showV)
/**
* Constructs a `[[Validate]]` from the predicate `f`. All values of type
* `T` for which `f` returns `true` are considered valid according to `P`.
*/
def fromPredicate[T, P](f: T => Boolean, showExpr: T => String, p: P): Plain[T, P] = {
val g = showExpr
new Validate[T, P] {
override type R = P
override def validate(t: T): Res = Result.fromBoolean(f(t), p)
override def showExpr(t: T): String = g(t)
}
}
/**
* Constructs a `[[Validate]]` from the partial function `pf`. All `T`s for
* which `pf` throws an exception are considered invalid according to `P`.
*/
def fromPartial[T, U, P](pf: T => U, name: String, p: P): Plain[T, P] =
new Validate[T, P] {
override type R = P
override def validate(t: T): Res =
try {
pf(t)
Passed(p)
} catch {
case NonFatal(_) => Failed(p)
}
override def showExpr(t: T): String =
Resources.isValidName(name, t)
override def showResult(t: T, res: Res): String =
Resources.namePredicateResultMessage(name, res, Try(pf(t)))
}
/** Returns a `[[Validate]]` that ignores its input and always yields `[[api.Passed]]`. */
def alwaysPassed[T, P, R](r: R): Aux[T, P, R] =
constant(Passed(r), "true")
/** Returns a `[[Validate]]` that ignores its input and always yields `[[api.Failed]]`. */
def alwaysFailed[T, P, R](r: R): Aux[T, P, R] =
constant(Failed(r), "false")
}