tuples-space-core
API
Generated with
tuples-space-core/io.github.cakelier/io.github.cakelier.tuples.space/io.github.cakelier.tuples.space.dsl/io.github.cakelier.tuples.space.dsl.numeric/FloatTemplate

FloatTemplate

io.github.cakelier.tuples.space.dsl.numeric.FloatTemplate$
object FloatTemplate extends NumericTemplate

The object implementing the NumericTemplate trait for the float type.

This object represents the specific implementation of the family of traits defined by the NumericTemplate one. It then implements them all specifying that the generic numeric type that is specified in all of them is the Float one.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class CompleteFloatTemplate(min: Either[Float, Float], max: Either[Float, Float]) extends CompleteNumericTemplate[Float]

The "terminal" float template, for which no more information can be specified for building a JsonFloatTemplate.

The "terminal" float template, for which no more information can be specified for building a JsonFloatTemplate.

This template represents the last stage in building a numeric template, meaning that no more constraints can be specified. The range for the value has already been specified as a minimum and maximum allowed values, either inclusive or exclusive.

Attributes

Constructor

creates a new instance of this class specifying the minimum and the maximum values, being scala.util.Lefts if they are inclusive, or scala.util.Rights if they are exclusive

Supertypes
trait Template
class Object
trait Matchable
class Any
class EmptyFloatTemplate extends EmptyNumericTemplate[Float, WithMinimumFloatTemplate, WithMaximumFloatTemplate, CompleteFloatTemplate]

The "empty" float template, capable of matching any value of the float type.

The "empty" float template, capable of matching any value of the float type.

This is the starting template from which creating any other float template by specifying more and more constraints. Being so, it is allowed to add a minimum value, either inclusive or exclusive, or a maximum value, either inclusive or exclusive, to create a new template from this.

Attributes

Supertypes
trait Template
class Object
trait Matchable
class Any
class WithMaximumFloatTemplate(max: Either[Float, Float]) extends WithMaximumNumericTemplate[Float, CompleteFloatTemplate]

The float template for which the maximum value, either inclusive or exclusive, has been specified.

The float template for which the maximum value, either inclusive or exclusive, has been specified.

This template represents one for float values where the maximum constraint, whether it be an inclusive or exclusive one, has been specified. Now, only a minimum constraint can be specified, closing the now half-open interval. This is not mandatory to do. This will produce a "complete" template for which no more constraints can be specified.

Attributes

Constructor

creates a new instance of this class specifying the maximum value, being a scala.util.Left if it inclusive, or a scala.util.Right if it is exclusive

Supertypes
trait Template
class Object
trait Matchable
class Any
class WithMinimumFloatTemplate(min: Either[Float, Float]) extends WithMinimumNumericTemplate[Float, CompleteFloatTemplate]

The float template for which the minimum value, either inclusive or exclusive, has been specified.

The float template for which the minimum value, either inclusive or exclusive, has been specified.

This template represents one for float values where the minimum constraint, whether it be an inclusive or exclusive one, has been specified. Now, only a maximum constraint can be specified, closing the now half-open interval. This is not mandatory to do. This will produce a "complete" template for which no more constraints can be specified.

Attributes

Constructor

creates a new instance of this class specifying the minimum value, being a scala.util.Left if it inclusive, or a scala.util.Right if it is exclusive

Supertypes
trait Template
class Object
trait Matchable
class Any

Inherited classlikes

trait CompleteNumericTemplate[A](min: Either[A, A], max: Either[A, A], converter: (Either[A, A], Either[A, A]) => JsonNumericTemplate[A])(implicit evidence$4: Numeric[A]) extends Template

The "terminal" numeric template, for which no more information can be specified for building a JsonNumericTemplate.

The "terminal" numeric template, for which no more information can be specified for building a JsonNumericTemplate.

This template represents the last stage in building a numeric template, meaning that no more constraints can be specified. The range for the value has already been specified as a minimum and maximum allowed values, either inclusive or exclusive.

Type parameters

A

the actual numeric type for which instantiating this type

Attributes

Constructor

creates a new instance of this trait given the already specified minimum and maximum values and the function that returns a new JsonNumericTemplate from this one

Inherited from:
NumericTemplate
Supertypes
trait Template
class Object
trait Matchable
class Any
Known subtypes
trait EmptyNumericTemplate[A, B <: WithMinimumNumericTemplate[A, D], C <: WithMaximumNumericTemplate[A, D], D <: CompleteNumericTemplate[A]](withMinBuilder: Either[A, A] => B, withMaxBuilder: Either[A, A] => C, converter: () => JsonNumericTemplate[A])(implicit evidence$1: Numeric[A]) extends Template

The "empty" numeric template, capable of matching any value of the given numeric type.

The "empty" numeric template, capable of matching any value of the given numeric type.

This is the starting template from which creating any other numeric template by specifying more and more constraints. Being so, it is allowed to add a minimum value, either inclusive or exclusive, or a maximum value, either inclusive or exclusive, to create a new template from this.

Type parameters

A

the actual numeric type for which instantiating this type

B

the actual type of the template for which the minimum has been specified

C

the actual type of the template for which the maximum has been specified

D

the actual type of the template for which either the minimum and the maximum have been specified altogether

Attributes

Constructor

creates a new instance of this trait given the function that returns a new template given the minimum, the one that returns a new template given the maximum and the one that returns a new JsonNumericTemplate from this one

Inherited from:
NumericTemplate
Supertypes
trait Template
class Object
trait Matchable
class Any
Known subtypes
trait WithMaximumNumericTemplate[A, B <: CompleteNumericTemplate[A]](max: Either[A, A], completeBuilder: (Either[A, A], Either[A, A]) => B, converter: Either[A, A] => JsonNumericTemplate[A])(implicit evidence$3: Numeric[A]) extends Template

The numeric template for which the maximum value, either inclusive or exclusive, has been specified.

The numeric template for which the maximum value, either inclusive or exclusive, has been specified.

This template represents one for numerical values where the maximum constraint, whether it be an inclusive or exclusive one, has been specified. Now, only a minimum constraint can be specified, closing the now half-open interval. This is not mandatory to do. This will produce a "complete" template for which no more constraints can be specified.

Type parameters

A

the actual numeric type for which instantiating this type

B

the actual type of the template for which either the minimum and the maximum have been specified altogether

Attributes

Constructor

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

Inherited from:
NumericTemplate
Supertypes
trait Template
class Object
trait Matchable
class Any
Known subtypes
trait WithMinimumNumericTemplate[A, B <: CompleteNumericTemplate[A]](min: Either[A, A], completeBuilder: (Either[A, A], Either[A, A]) => B, converter: Either[A, A] => JsonNumericTemplate[A])(implicit evidence$2: Numeric[A]) extends Template

The numeric template for which the minimum value, either inclusive or exclusive, has been specified.

The numeric template for which the minimum value, either inclusive or exclusive, has been specified.

This template represents one for numerical values where the minimum constraint, whether it be an inclusive or exclusive one, has been specified. Now, only a maximum constraint can be specified, closing the now half-open interval. This is not mandatory to do. This will produce a "complete" template for which no more constraints can be specified.

Type parameters

A

the actual numeric type for which instantiating this type

B

the actual type of the template for which either the minimum and the maximum have been specified altogether

Attributes

Constructor

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

Inherited from:
NumericTemplate
Supertypes
trait Template
class Object
trait Matchable
class Any
Known subtypes
Generated with