Packages

object RequireTypes

Encapsulates those classes and their utility methods which enforce a given invariant via the use of require.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RequireTypes
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed abstract case class ExistingFile extends Product with Serializable
  2. final case class InvariantViolation(message: String) extends Product with Serializable
  3. type NonNegativeInt = NonNegativeNumeric[Int]
  4. final case class NonNegativeNumeric[T] extends RefinedNumeric[T] with Product with Serializable
  5. sealed abstract case class Port extends Ordered[Port] with Product with Serializable
  6. type PositiveDouble = PositiveNumeric[Double]
  7. type PositiveInt = PositiveNumeric[Int]
  8. final case class PositiveNumeric[T] extends RefinedNumeric[T] with Product with Serializable
  9. sealed trait RefinedNumeric[T] extends Ordered[RefinedNumeric[T]]

Value Members

  1. object ExistingFile extends Serializable
  2. object NonNegativeInt
  3. object NonNegativeNumeric extends Serializable
  4. object Port extends Serializable
  5. object PositiveDouble
  6. object PositiveInt
  7. object PositiveNumeric extends Serializable