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

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