Trait/Object

io.sigs.seals.laws

ArbInstances

Related Docs: object ArbInstances | package laws

Permalink

trait ArbInstances extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ArbInstances
  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 arbAtomic[A](implicit a: Atomic[A]): Arbitrary[Atomic[A]]

    Permalink
  5. implicit def arbBitVector(implicit arbBytes: Arbitrary[ByteVector], arbByte: Arbitrary[Byte]): Arbitrary[BitVector]

    Permalink
  6. implicit def arbByteVector(implicit arbArr: Arbitrary[Array[Byte]]): Arbitrary[ByteVector]

    Permalink
  7. implicit def arbEnumLike[A](implicit enu: EnumLike[A]): Arbitrary[EnumLike[A]]

    Permalink
  8. implicit def arbEnvelope[A](implicit arg0: Reified[A], A: Arbitrary[A]): Arbitrary[Envelope[A]]

    Permalink
  9. implicit def arbKleene[F[_]](implicit k: Kleene[F]): Arbitrary[Kleene[F]]

    Permalink
  10. implicit val arbMathContext: Arbitrary[MathContext]

    Permalink
  11. implicit def arbModel: Arbitrary[Model]

    Permalink
  12. implicit def arbModelAtom(implicit arbRef: Arbitrary[Option[Semantics]]): Arbitrary[Atom]

    Permalink
  13. implicit def arbModelCcons(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[CCons]

    Permalink
  14. implicit def arbModelCnil: Arbitrary[CNil.type]

    Permalink
  15. implicit def arbModelCoproduct(implicit arbM: Lazy[Arbitrary[Model]]): Arbitrary[Coproduct]

    Permalink
  16. implicit def arbModelHcons(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[HCons[_]]

    Permalink
  17. implicit def arbModelHlist(implicit arbM: Lazy[Arbitrary[Model]]): Arbitrary[HList]

    Permalink
  18. implicit def arbModelHnil: Arbitrary[HNil.type]

    Permalink
  19. implicit def arbModelVector(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[Vector]

    Permalink
  20. implicit def arbRefineForModel(implicit arbSem: Arbitrary[Semantics]): Arbitrary[Option[Semantics]]

    Permalink
  21. implicit def arbReified[A](implicit r: Reified[A]): Arbitrary[Reified[A]]

    Permalink
  22. implicit def arbSemantics(implicit uid: Arbitrary[UUID]): Arbitrary[Semantics]

    Permalink
  23. implicit def arbSymbol(implicit arbStr: Arbitrary[String]): Arbitrary[Symbol]

    Permalink
  24. implicit def arbUuid(implicit al: Arbitrary[Long]): Arbitrary[UUID]

    Permalink
  25. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. implicit def cogenAtomic[A]: Cogen[Atomic[A]]

    Permalink
  28. implicit def cogenEnumLike[A](implicit enu: EnumLike[A]): Cogen[A]

    Permalink
  29. implicit def cogenEnvelope[A](implicit A: Cogen[A]): Cogen[Envelope[A]]

    Permalink
  30. implicit def cogenMathContext(implicit cgStr: Cogen[String]): Cogen[MathContext]

    Permalink
  31. implicit def cogenModel: Cogen[Model]

    Permalink
  32. implicit def cogenReified[A]: Cogen[Reified[A]]

    Permalink
  33. implicit def cogenSymbol(implicit cgStr: Cogen[String]): Cogen[Symbol]

    Permalink
  34. implicit val cogenUuid: Cogen[UUID]

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  37. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  38. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  41. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  42. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  44. implicit def recModel: Recursive[Model]

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  47. def unrefinedArbModelAtom: Arbitrary[Atom]

    Permalink
  48. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped