Object/Trait

cats.laws.discipline

ArbitraryK

Related Docs: trait ArbitraryK | package discipline

Permalink

object ArbitraryK

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ArbitraryK
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit def appFuncA[F[_], A](implicit F: ArbitraryK[F], FF: Applicative[F]): ArbitraryK[[γ]AppFunc[F, A, γ]]

    Permalink
  5. def apply[F[_]](implicit arbk: ArbitraryK[F]): ArbitraryK[F]

    Permalink
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. implicit def cokleisliA[F[_], A]: ArbitraryK[[γ]Cokleisli[F, A, γ]]

    Permalink
  9. implicit def cokleisliE[F[_]](implicit F: ArbitraryK[F]): ArbitraryK[[A]Cokleisli[F, A, A]]

    Permalink
  10. implicit def constA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Const[A, β]]

    Permalink
  11. implicit def eitherA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Either[A, β]]

    Permalink
  12. implicit def eitherB[B](implicit B: Arbitrary[B]): ArbitraryK[[α]Either[α, B]]

    Permalink
  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  15. implicit val eval: ArbitraryK[Eval]

    Permalink
  16. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. implicit def funcA[F[_], A](implicit F: ArbitraryK[F]): ArbitraryK[[γ]Func[F, A, γ]]

    Permalink
  18. implicit val function0: ArbitraryK[Function0]

    Permalink
  19. implicit def function1A[A]: ArbitraryK[[β](A) ⇒ β]

    Permalink
  20. implicit def function1B[B](implicit arg0: Arbitrary[B]): ArbitraryK[[α](α) ⇒ B]

    Permalink
  21. implicit def futureArbitraryK: ArbitraryK[Future]

    Permalink
  22. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  23. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  24. implicit val id: ArbitraryK[Id]

    Permalink
  25. implicit def iorA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Ior[A, β]]

    Permalink
  26. implicit def iorB[B](implicit B: Arbitrary[B]): ArbitraryK[[α]Ior[α, B]]

    Permalink
  27. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  28. implicit def kleisliA[F[_], A](implicit F: ArbitraryK[F]): ArbitraryK[[γ]Kleisli[F, A, γ]]

    Permalink
  29. implicit def kleisliE[F[_]](implicit F: ArbitraryK[F]): ArbitraryK[[A]Kleisli[F, A, A]]

    Permalink
  30. implicit val list: ArbitraryK[List]

    Permalink
  31. implicit def mapA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Map[A, β]]

    Permalink
  32. implicit def mapB[B](implicit B: Arbitrary[B]): ArbitraryK[[α]Map[α, B]]

    Permalink
  33. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  34. implicit val nonEmptyList: ArbitraryK[NonEmptyList]

    Permalink
  35. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  37. implicit val option: ArbitraryK[Option]

    Permalink
  38. implicit def optionT[F[_]](implicit F: ArbitraryK[F]): ArbitraryK[[β]OptionT[F, β]]

    Permalink
  39. implicit def prodA[F[_], G[_]](implicit F: ArbitraryK[F], G: ArbitraryK[G]): ArbitraryK[[X]Prod[F, G, X]]

    Permalink
  40. implicit val set: ArbitraryK[Set]

    Permalink
  41. implicit val stream: ArbitraryK[Stream]

    Permalink
  42. implicit def streamT[F[_]](implicit arg0: Monad[F]): ArbitraryK[[β]StreamingT[F, β]]

    Permalink
  43. implicit val streaming: ArbitraryK[Streaming]

    Permalink
  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  45. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  46. implicit def validA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Validated[A, β]]

    Permalink
  47. implicit def validB[B](implicit B: Arbitrary[B]): ArbitraryK[[α]Validated[α, B]]

    Permalink
  48. implicit val vector: ArbitraryK[Vector]

    Permalink
  49. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. implicit def xorA[A](implicit A: Arbitrary[A]): ArbitraryK[[β]Xor[A, β]]

    Permalink
  53. implicit def xorB[B](implicit B: Arbitrary[B]): ArbitraryK[[α]Xor[α, B]]

    Permalink
  54. implicit def xorTA[F[_], A](implicit F: ArbitraryK[F], A: Arbitrary[A]): ArbitraryK[[γ]XorT[F, A, γ]]

    Permalink
  55. implicit def xorTB[F[_], B](implicit F: ArbitraryK[F], B: Arbitrary[B]): ArbitraryK[[β]XorT[F, β, B]]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped