Type Members
-
final
type
Day = Refined[Int, Closed[Int(1), Int(31)]]
-
final
type
DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]
-
final
type
FiniteString[N] = Refined[String, MaxSize[N]]
-
-
final
type
Hour = Refined[Int, Closed[Int(0), Int(23)]]
-
-
-
final
type
Millis = Refined[Int, Closed[Int(0), Int(999)]]
-
final
type
Minute = Refined[Int, Closed[Int(0), Int(59)]]
-
final
type
Month = Refined[Int, Closed[Int(1), Int(12)]]
-
final
type
NegBigDecimal = Refined[BigDecimal, Negative]
-
final
type
NegBigInt = Refined[BigInt, Negative]
-
-
-
-
-
-
-
final
type
NonEmptyString = Refined[String, NonEmpty]
-
-
-
final
type
NonNegBigDecimal = Refined[BigDecimal, NonNegative]
-
-
-
-
-
-
-
-
final
type
NonPosBigDecimal = Refined[BigDecimal, NonPositive]
-
-
-
-
-
-
-
-
final
type
NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]
-
final
type
PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]
-
final
type
PosBigDecimal = Refined[BigDecimal, Positive]
-
final
type
PosBigInt = Refined[BigInt, Positive]
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
final
type
Second = Refined[Int, Closed[Int(0), Int(59)]]
-
final
type
SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]
-
final
type
TrimmedString = Refined[String, Trimmed]
-
-
final
type
UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
val
Day: time.Day.type
-
-
-
-
final
val
Hour: time.Hour.type
-
-
-
final
val
Millis: time.Millis.type
-
final
val
Minute: time.Minute.type
-
final
val
Month: time.Month.type
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
final
val
Second: time.Second.type
-
-
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Module for all predefined refined types.