Packages

  • package root
    Definition Classes
    root
  • package zio
    Definition Classes
    root
  • package test

    _ZIO Test_ is a featherweight testing library for effectful programs.

    _ZIO Test_ is a featherweight testing library for effectful programs.

    The library imagines every spec as an ordinary immutable value, providing tremendous potential for composition. Thanks to tight integration with ZIO, specs can use resources (including those requiring disposal), have well- defined linear and parallel semantics, and can benefit from a host of ZIO combinators.

    import zio.test._
    import zio.Clock.nanoTime
    
    object MyTest extends ZIOSpecDefault {
      def spec = suite("clock")(
        test("time is non-zero") {
          for {
            time <- Live.live(nanoTime)
          } yield assertTrue(time >= 0L)
        }
      )
    }
    Definition Classes
    zio
  • package refined
    Definition Classes
    test
  • package types
    Definition Classes
    refined
  • AllTypesInstances
  • CharInstances
  • DigitInstances
  • NetInstances
  • NumericInstances
  • StringInstance
  • TimeInstances
  • all
  • char
  • digit
  • net
  • numeric
  • string
  • time
t

zio.test.refined.types

AllTypesInstances

trait AllTypesInstances extends CharInstances with DigitInstances with NetInstances with NumericInstances with StringInstance with TimeInstances

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AllTypesInstances
  2. TimeInstances
  3. StringInstance
  4. NumericInstances
  5. NetInstances
  6. DigitInstances
  7. CharInstances
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. class FiniteStringPartiallyApplied[N <: Int, P] extends AnyRef
    Definition Classes
    StringInstance

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
  6. implicit def dayDeriveGen: DeriveGen[Day]
    Definition Classes
    TimeInstances
  7. val dayGen: Gen[Any, Day]
    Definition Classes
    TimeInstances
  8. implicit val dynamicPortNumberDeriveGen: DeriveGen[DynamicPortNumber]
    Definition Classes
    NetInstances
  9. val dynamicPortNumberGen: Gen[Any, DynamicPortNumber]
    Definition Classes
    NetInstances
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  12. implicit def finiteStringDeriveGen[N <: Int](implicit ws: Aux[N], charGen: DeriveGen[Char]): DeriveGen[FiniteString[N]]
    Definition Classes
    StringInstance
  13. def finiteStringGen[N <: Int]: FiniteStringPartiallyApplied[N, MaxSize[N]]
    Definition Classes
    StringInstance
  14. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @IntrinsicCandidate() @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @IntrinsicCandidate() @native()
  16. implicit def hexStringDeriveGen[R]: DeriveGen[HexString]
    Definition Classes
    StringInstance
  17. def hexStringGen: Gen[Any, HexString]
    Definition Classes
    StringInstance
  18. implicit def hourDeriveGen: DeriveGen[Hour]
    Definition Classes
    TimeInstances
  19. val hourGen: Gen[Any, Hour]
    Definition Classes
    TimeInstances
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. implicit val lowerCaseCharDeriveGen: DeriveGen[LowerCaseChar]
    Definition Classes
    CharInstances
  22. val lowerCaseCharGen: Gen[Any, LowerCaseChar]
    Definition Classes
    CharInstances
  23. implicit val md5Arbitrary: DeriveGen[eu.timepit.refined.types.all.MD5]
    Definition Classes
    DigitInstances
  24. val md5Gen: Gen[Any, eu.timepit.refined.types.all.MD5]
    Definition Classes
    DigitInstances
  25. implicit def millsDeriveGen: DeriveGen[Millis]
    Definition Classes
    TimeInstances
  26. val millsGen: Gen[Any, Millis]
    Definition Classes
    TimeInstances
  27. implicit def minuteDeriveGen: DeriveGen[Minute]
    Definition Classes
    TimeInstances
  28. val minuteGen: Gen[Any, Minute]
    Definition Classes
    TimeInstances
  29. implicit def monthDeriveGen: DeriveGen[Month]
    Definition Classes
    TimeInstances
  30. val monthGen: Gen[Any, Month]
    Definition Classes
    TimeInstances
  31. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. implicit val negBigDecimalDeriveGen: DeriveGen[NegBigDecimal]
    Definition Classes
    NumericInstances
  33. val negBigDecimalGen: Gen[Any, NegBigDecimal]
    Definition Classes
    NumericInstances
  34. implicit val negBigIntDeriveGen: DeriveGen[NegBigInt]
    Definition Classes
    NumericInstances
  35. val negBigIntGen: Gen[Any, NegBigInt]
    Definition Classes
    NumericInstances
  36. implicit val negByteDeriveGen: DeriveGen[NegByte]
    Definition Classes
    NumericInstances
  37. val negByteGen: Gen[Any, NegByte]
    Definition Classes
    NumericInstances
  38. implicit val negDoubleDeriveGen: DeriveGen[NegDouble]
    Definition Classes
    NumericInstances
  39. val negDoubleGen: Gen[Any, NegDouble]
    Definition Classes
    NumericInstances
  40. implicit val negFloatDeriveGen: DeriveGen[NegFloat]
    Definition Classes
    NumericInstances
  41. val negFloatGen: Gen[Any, NegFloat]
    Definition Classes
    NumericInstances
  42. implicit val negIntDeriveGen: DeriveGen[NegInt]
    Definition Classes
    NumericInstances
  43. val negIntGen: Gen[Any, NegInt]
    Definition Classes
    NumericInstances
  44. implicit val negLongDeriveGen: DeriveGen[NegLong]
    Definition Classes
    NumericInstances
  45. val negLongGen: Gen[Any, NegLong]
    Definition Classes
    NumericInstances
  46. implicit val negShortDeriveGen: DeriveGen[NegShort]
    Definition Classes
    NumericInstances
  47. val negShortGen: Gen[Any, NegShort]
    Definition Classes
    NumericInstances
  48. implicit def nonEmptyFiniteStringDeriveGen[N <: Int](implicit ws: Aux[N], charGen: DeriveGen[Char]): DeriveGen[NonEmptyFiniteString[N]]
    Definition Classes
    StringInstance
  49. def nonEmptyFiniteStringGen[N <: Int]: FiniteStringPartiallyApplied[N, Size[Closed[shapeless.Nat._1, N]]]
    Definition Classes
    StringInstance
  50. implicit def nonEmptyStringDeriveGen[R](implicit charGen: DeriveGen[Char]): DeriveGen[NonEmptyString]
    Definition Classes
    StringInstance
  51. def nonEmptyStringGen[R](charGen: Gen[R, Char]): Gen[R, NonEmptyString]
    Definition Classes
    StringInstance
  52. implicit val nonNanDoubleDeriveGen: DeriveGen[NonNaNDouble]
    Definition Classes
    NumericInstances
  53. val nonNanDoubleGen: Gen[Any, NonNaNDouble]
    Definition Classes
    NumericInstances
  54. implicit val nonNanFloatDeriveGen: DeriveGen[NonNaNFloat]
    Definition Classes
    NumericInstances
  55. val nonNanFloatGen: Gen[Any, NonNaNFloat]
    Definition Classes
    NumericInstances
  56. implicit val nonNegBigDecimalDeriveGen: DeriveGen[NonNegBigDecimal]
    Definition Classes
    NumericInstances
  57. val nonNegBigDecimalGen: Gen[Any, NonNegBigDecimal]
    Definition Classes
    NumericInstances
  58. implicit val nonNegBigIntDeriveGen: DeriveGen[NonNegBigInt]
    Definition Classes
    NumericInstances
  59. val nonNegBigIntGen: Gen[Any, NonNegBigInt]
    Definition Classes
    NumericInstances
  60. implicit val nonNegByteDeriveGen: DeriveGen[NonNegByte]
    Definition Classes
    NumericInstances
  61. val nonNegByteGen: Gen[Any, NonNegByte]
    Definition Classes
    NumericInstances
  62. implicit val nonNegDoubleDeriveGen: DeriveGen[NonNegDouble]
    Definition Classes
    NumericInstances
  63. val nonNegDoubleGen: Gen[Any, NonNegDouble]
    Definition Classes
    NumericInstances
  64. implicit val nonNegFloatDeriveGen: DeriveGen[NonNegFloat]
    Definition Classes
    NumericInstances
  65. val nonNegFloatGen: Gen[Any, NonNegFloat]
    Definition Classes
    NumericInstances
  66. implicit val nonNegIntDeriveGen: DeriveGen[NonNegInt]
    Definition Classes
    NumericInstances
  67. val nonNegIntGen: Gen[Any, NonNegInt]
    Definition Classes
    NumericInstances
  68. implicit val nonNegLongDeriveGen: DeriveGen[NonNegLong]
    Definition Classes
    NumericInstances
  69. val nonNegLongGen: Gen[Any, NonNegLong]
    Definition Classes
    NumericInstances
  70. implicit val nonNegShortDeriveGen: DeriveGen[NonNegShort]
    Definition Classes
    NumericInstances
  71. val nonNegShortGen: Gen[Any, NonNegShort]
    Definition Classes
    NumericInstances
  72. implicit val nonPosBigDecimalDeriveGen: DeriveGen[NonPosBigDecimal]
    Definition Classes
    NumericInstances
  73. val nonPosBigDecimalGen: Gen[Any, NonPosBigDecimal]
    Definition Classes
    NumericInstances
  74. implicit val nonPosBigIntDeriveGen: DeriveGen[NonPosBigInt]
    Definition Classes
    NumericInstances
  75. val nonPosBigIntGen: Gen[Any, NonPosBigInt]
    Definition Classes
    NumericInstances
  76. implicit val nonPosByteDeriveGen: DeriveGen[NonPosByte]
    Definition Classes
    NumericInstances
  77. val nonPosByteGen: Gen[Any, NonPosByte]
    Definition Classes
    NumericInstances
  78. implicit val nonPosDoubleDeriveGen: DeriveGen[NonPosDouble]
    Definition Classes
    NumericInstances
  79. val nonPosDoubleGen: Gen[Any, NonPosDouble]
    Definition Classes
    NumericInstances
  80. implicit val nonPosFloatDeriveGen: DeriveGen[NonPosFloat]
    Definition Classes
    NumericInstances
  81. val nonPosFloatGen: Gen[Any, NonPosFloat]
    Definition Classes
    NumericInstances
  82. implicit val nonPosIntDeriveGen: DeriveGen[NonPosInt]
    Definition Classes
    NumericInstances
  83. val nonPosIntGen: Gen[Any, NonPosInt]
    Definition Classes
    NumericInstances
  84. implicit val nonPosLongDeriveGen: DeriveGen[NonPosLong]
    Definition Classes
    NumericInstances
  85. val nonPosLongGen: Gen[Any, NonPosLong]
    Definition Classes
    NumericInstances
  86. implicit val nonPosShortDeriveGen: DeriveGen[NonPosShort]
    Definition Classes
    NumericInstances
  87. val nonPosShortGen: Gen[Any, NonPosShort]
    Definition Classes
    NumericInstances
  88. implicit val nonSystemPortNumberDeriveGen: DeriveGen[NonSystemPortNumber]
    Definition Classes
    NetInstances
  89. val nonSystemPortNumberGen: Gen[Any, NonSystemPortNumber]
    Definition Classes
    NetInstances
  90. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  91. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  92. implicit val portNumberDeriveGen: DeriveGen[PortNumber]
    Definition Classes
    NetInstances
  93. val portNumberGen: Gen[Any, PortNumber]
    Definition Classes
    NetInstances
  94. implicit val posBigDecimalDeriveGen: DeriveGen[PosBigDecimal]
    Definition Classes
    NumericInstances
  95. val posBigDecimalGen: Gen[Any, PosBigDecimal]
    Definition Classes
    NumericInstances
  96. implicit val posBigIntDeriveGen: DeriveGen[PosBigInt]
    Definition Classes
    NumericInstances
  97. val posBigIntGen: Gen[Any, PosBigInt]
    Definition Classes
    NumericInstances
  98. implicit val posByteDeriveGen: DeriveGen[PosByte]
    Definition Classes
    NumericInstances
  99. val posByteGen: Gen[Any, PosByte]
    Definition Classes
    NumericInstances
  100. implicit val posDoubleDeriveGen: DeriveGen[PosDouble]
    Definition Classes
    NumericInstances
  101. val posDoubleGen: Gen[Any, PosDouble]
    Definition Classes
    NumericInstances
  102. implicit val posFloatDeriveGen: DeriveGen[PosFloat]
    Definition Classes
    NumericInstances
  103. val posFloatGen: Gen[Any, PosFloat]
    Definition Classes
    NumericInstances
  104. implicit val posIntDeriveGen: DeriveGen[PosInt]
    Definition Classes
    NumericInstances
  105. val posIntGen: Gen[Any, PosInt]
    Definition Classes
    NumericInstances
  106. implicit val posLongDeriveGen: DeriveGen[PosLong]
    Definition Classes
    NumericInstances
  107. val posLongGen: Gen[Any, PosLong]
    Definition Classes
    NumericInstances
  108. implicit val posShortDeriveGen: DeriveGen[PosShort]
    Definition Classes
    NumericInstances
  109. val posShortGen: Gen[Any, PosShort]
    Definition Classes
    NumericInstances
  110. implicit val privateNetworkDeriveGen: DeriveGen[PrivateNetwork]
    Definition Classes
    NetInstances
  111. val privateNetworkGen: Gen[Any, PrivateNetwork]
    Definition Classes
    NetInstances
  112. implicit val rfc1918ClassAPrivateDeriveGen: DeriveGen[Rfc1918ClassAPrivate]
    Definition Classes
    NetInstances
  113. val rfc1918ClassAPrivateGen: Gen[Any, Rfc1918ClassAPrivate]
    Definition Classes
    NetInstances
  114. implicit val rfc1918ClassBPrivateDeriveGen: DeriveGen[Rfc1918ClassBPrivate]
    Definition Classes
    NetInstances
  115. val rfc1918ClassBPrivateGen: Gen[Any, Rfc1918ClassBPrivate]
    Definition Classes
    NetInstances
  116. implicit val rfc1918ClassCPrivateDeriveGen: DeriveGen[Rfc1918ClassCPrivate]
    Definition Classes
    NetInstances
  117. val rfc1918ClassCPrivateGen: Gen[Any, Rfc1918ClassCPrivate]
    Definition Classes
    NetInstances
  118. implicit val rfc1918PrivateDeriveGen: DeriveGen[Rfc1918Private]
    Definition Classes
    NetInstances
  119. val rfc1918PrivateGen: Gen[Any, Rfc1918Private]
    Definition Classes
    NetInstances
  120. implicit val rfc2544BenchmarkDeriveGen: DeriveGen[Rfc2544Benchmark]
    Definition Classes
    NetInstances
  121. val rfc2544BenchmarkGen: Gen[Any, Rfc2544Benchmark]
    Definition Classes
    NetInstances
  122. implicit val rfc3927LocalLinkDeriveGen: DeriveGen[Rfc3927LocalLink]
    Definition Classes
    NetInstances
  123. val rfc3927LocalLinkGen: Gen[Any, Rfc3927LocalLink]
    Definition Classes
    NetInstances
  124. implicit val rfc5737Testnet1DeriveGen: DeriveGen[Rfc5737Testnet1]
    Definition Classes
    NetInstances
  125. val rfc5737Testnet1Gen: Gen[Any, Rfc5737Testnet1]
    Definition Classes
    NetInstances
  126. implicit val rfc5737Testnet2DeriveGen: DeriveGen[Rfc5737Testnet2]
    Definition Classes
    NetInstances
  127. val rfc5737Testnet2Gen: Gen[Any, Rfc5737Testnet2]
    Definition Classes
    NetInstances
  128. implicit val rfc5737Testnet3DeriveGen: DeriveGen[Rfc5737Testnet3]
    Definition Classes
    NetInstances
  129. val rfc5737Testnet3Gen: Gen[Any, Rfc5737Testnet3]
    Definition Classes
    NetInstances
  130. implicit val rfc5737TestnetDeriveGen: DeriveGen[Rfc5737Testnet]
    Definition Classes
    NetInstances
  131. val rfc5737TestnetGen: Gen[Any, Rfc5737Testnet]
    Definition Classes
    NetInstances
  132. implicit def secondDeriveGen: DeriveGen[Second]
    Definition Classes
    TimeInstances
  133. val secondGen: Gen[Any, Second]
    Definition Classes
    TimeInstances
  134. implicit val sha1Arbitrary: DeriveGen[eu.timepit.refined.types.all.SHA1]
    Definition Classes
    DigitInstances
  135. val sha1Gen: Gen[Any, eu.timepit.refined.types.all.SHA1]
    Definition Classes
    DigitInstances
  136. implicit val sha224Arbitrary: DeriveGen[eu.timepit.refined.types.all.SHA224]
    Definition Classes
    DigitInstances
  137. val sha224Gen: Gen[Any, eu.timepit.refined.types.all.SHA224]
    Definition Classes
    DigitInstances
  138. implicit val sha256Arbitrary: DeriveGen[eu.timepit.refined.types.all.SHA256]
    Definition Classes
    DigitInstances
  139. val sha256Gen: Gen[Any, eu.timepit.refined.types.all.SHA256]
    Definition Classes
    DigitInstances
  140. implicit val sha384Arbitrary: DeriveGen[eu.timepit.refined.types.all.SHA384]
    Definition Classes
    DigitInstances
  141. val sha384Gen: Gen[Any, eu.timepit.refined.types.all.SHA384]
    Definition Classes
    DigitInstances
  142. implicit val sha512Arbitrary: DeriveGen[eu.timepit.refined.types.all.SHA512]
    Definition Classes
    DigitInstances
  143. val sha512Gen: Gen[Any, eu.timepit.refined.types.all.SHA512]
    Definition Classes
    DigitInstances
  144. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  145. implicit val systemPortNumberDeriveGen: DeriveGen[SystemPortNumber]
    Definition Classes
    NetInstances
  146. val systemPortNumberGen: Gen[Any, SystemPortNumber]
    Definition Classes
    NetInstances
  147. def toString(): String
    Definition Classes
    AnyRef → Any
  148. implicit def trimmedStringDeriveGen[R](implicit charGen: DeriveGen[Char]): DeriveGen[TrimmedString]
    Definition Classes
    StringInstance
  149. def trimmedStringGen[R](charGen: Gen[R, Char]): Gen[R, TrimmedString]
    Definition Classes
    StringInstance
  150. implicit val upperCaseCharDeriveGen: DeriveGen[UpperCaseChar]
    Definition Classes
    CharInstances
  151. val upperCaseCharGen: Gen[Any, UpperCaseChar]
    Definition Classes
    CharInstances
  152. implicit val userPortNumberDeriveGen: DeriveGen[UserPortNumber]
    Definition Classes
    NetInstances
  153. val userPortNumberGen: Gen[Any, UserPortNumber]
    Definition Classes
    NetInstances
  154. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  155. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  156. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from TimeInstances

Inherited from StringInstance

Inherited from NumericInstances

Inherited from NetInstances

Inherited from DigitInstances

Inherited from CharInstances

Inherited from AnyRef

Inherited from Any

Ungrouped