WithMinWithMultipleIntegralTemplate

io.github.cakelier.tuples.space.dsl.numeric.IntegralTemplate.WithMinWithMultipleIntegralTemplate
trait WithMinWithMultipleIntegralTemplate[A, B <: CompleteIntegralTemplate[A]](min: Either[A, A], multipleOf: A, completeBuilder: (Either[A, A], Either[A, A], A) => B, converter: (Either[A, A], Option[A]) => JsonIntegralTemplate[A])(implicit evidence$6: Integral[A]) extends Template

The integral template for which the minimum value, either inclusive or exclusive, has been specified along with the "multipleOf" value.

This template represents one for integral values where the minimum constraint, whether it be an inclusive or exclusive one, have been specified alongside a "multiple of" constraint. Now, a maximum constraint can be specified, allowing to close the half-open interval previously created. This constraints is not mandatory to apply. This will produce a "complete" template for which no more constraints can be specified.

Type parameters

A

the actual integral type for which instantiating this type

B

the actual type of the template for which all possible constraints have been specified altogether

Attributes

Constructor

creates a new instance of this trait given the already specified minimum and "multiple of" values, the function that returns a new template given the minimum, the maximum and the "multiple of" value and the one that returns a new JsonIntegralTemplate from this one

Graph
Supertypes
trait Template
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def lt(max: A): B

Adds the exclusive maximum that the integral value should satisfy to match the built template.

Adds the exclusive maximum that the integral value should satisfy to match the built template.

Value parameters

max

the exclusive maximum that the integral value should satisfy to match the built template

Attributes

Returns

a "terminal" template, which has stored the minimum, the maximum and the "multiple of" information

def lte(max: A): B

Adds the inclusive maximum that the integral value should satisfy to match the built template.

Adds the inclusive maximum that the integral value should satisfy to match the built template.

Value parameters

max

the inclusive maximum that the integral value should satisfy to match the built template

Attributes

Returns

a "terminal" template, which has stored the minimum, the maximum and the "multiple of" information

Converts this template to its corresponding JsonTemplate.

Converts this template to its corresponding JsonTemplate.

Attributes

Definition Classes