MakeConstrained[T: Any val, F: Validator[T] val]

[Source]

Builder of Constrained instances.

primitive val MakeConstrained[T: Any val, F: Validator[T] val]

Constructors

create

[Source]

new val create()
: MakeConstrained[T, F] val^

Returns

• MakeConstrained[T, F] val^

---

Public Functions

apply

[Source]

fun box apply(
  value: T)
: (Constrained[T, F] val | ValidationFailure val)

Parameters

• value: T

Returns

• (Constrained[T, F] val | ValidationFailure val)

---

eq

[Source]

fun box eq(
  that: MakeConstrained[T, F] val)
: Bool val

Parameters

• that: MakeConstrained[T, F] val

Returns

• Bool val

---

ne

[Source]

fun box ne(
  that: MakeConstrained[T, F] val)
: Bool val

Parameters

• that: MakeConstrained[T, F] val

Returns

• Bool val

---