PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.utils/io.github.srs.utils.types/PositiveDouble

PositiveDouble

io.github.srs.utils.types.PositiveDouble$package.PositiveDouble
object PositiveDouble

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(value: Double): PositiveDouble

Extensions

Extensions

extension (pd: PositiveDouble)
def toDouble: Double

Converts a PositiveDouble to its underlying Double value.

Converts a PositiveDouble to its underlying Double value.

Attributes

def validate: Validation[PositiveDouble]

Validates the PositiveDouble instance.

Validates the PositiveDouble instance.

Attributes

Returns

Right if the instance is valid, or a Left with an error message if invalid.

Generated with