trait
WireLaws[A, R, E] extends Laws with ArbInstances
Type Members
-
class
DefaultRuleSet extends RuleSet with HasOneParent
-
trait
HasOneParent extends AnyRef
-
trait
RuleSet extends AnyRef
-
class
SimpleRuleSet extends DefaultRuleSet
-
Abstract Value Members
-
implicit abstract
def
ArbA: Arbitrary[A]
-
implicit abstract
def
EquA: Eq[A]
-
implicit abstract
def
EquR: Eq[R]
-
implicit abstract
def
ReiA: Reified[A]
-
implicit abstract
def
ShwA: Show[A]
-
implicit abstract
def
ShwE: Show[E]
-
implicit abstract
def
wireFromReified[X](implicit X: Reified[X]): Aux[X, R, E]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
arbAtomic[A](implicit a: Atomic[A]): Arbitrary[Atomic[A]]
-
implicit
def
arbBitVector(implicit arbBytes: Arbitrary[ByteVector], arbByte: Arbitrary[Byte]): Arbitrary[BitVector]
-
implicit
def
arbByteVector(implicit arbArr: Arbitrary[Array[Byte]]): Arbitrary[ByteVector]
-
implicit
def
arbEnumLike[A](implicit enu: EnumLike[A]): Arbitrary[EnumLike[A]]
-
implicit
def
arbEnvelope[A](implicit arg0: Reified[A], A: Arbitrary[A]): Arbitrary[Envelope[A]]
-
implicit
def
arbKleene[F[_]](implicit k: Kleene[F]): Arbitrary[Kleene[F]]
-
implicit
val
arbMathContext: Arbitrary[MathContext]
-
implicit
def
arbModel: Arbitrary[Model]
-
implicit
def
arbModelAtom(implicit arbRef: Arbitrary[Option[Semantics]]): Arbitrary[Atom]
-
implicit
def
arbModelCcons(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[CCons]
-
implicit
def
arbModelCnil: Arbitrary[CNil.type]
-
implicit
def
arbModelCoproduct(implicit arbM: Lazy[Arbitrary[Model]]): Arbitrary[Coproduct]
-
implicit
def
arbModelHcons(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[HCons[_]]
-
implicit
def
arbModelHlist(implicit arbM: Lazy[Arbitrary[Model]]): Arbitrary[HList]
-
implicit
def
arbModelHnil: Arbitrary[HNil.type]
-
implicit
def
arbModelVector(implicit arbM: Lazy[Arbitrary[Model]], arbRef: Arbitrary[Option[Semantics]]): Arbitrary[Vector]
-
implicit
def
arbRefineForModel(implicit arbSem: Arbitrary[Semantics]): Arbitrary[Option[Semantics]]
-
implicit
def
arbReified[A](implicit r: Reified[A]): Arbitrary[Reified[A]]
-
implicit
def
arbSemantics(implicit uid: Arbitrary[UUID]): Arbitrary[Semantics]
-
implicit
def
arbSymbol(implicit arbStr: Arbitrary[String]): Arbitrary[Symbol]
-
implicit
def
arbUuid(implicit al: Arbitrary[Long]): Arbitrary[UUID]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
implicit
def
cogenAtomic[A]: Cogen[Atomic[A]]
-
implicit
def
cogenEnumLike[A](implicit enu: EnumLike[A]): Cogen[A]
-
implicit
def
cogenEnvelope[A](implicit A: Cogen[A]): Cogen[Envelope[A]]
-
implicit
def
cogenMathContext(implicit cgStr: Cogen[String]): Cogen[MathContext]
-
implicit
def
cogenModel: Cogen[Model]
-
implicit
def
cogenReified[A]: Cogen[Reified[A]]
-
implicit
def
cogenSymbol(implicit cgStr: Cogen[String]): Cogen[Symbol]
-
implicit
val
cogenUuid: Cogen[UUID]
-
def
emptyRuleSet: RuleSet
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
recModel: Recursive[Model]
-
def
roundtrip: RuleSet
-
def
roundtripCompat[B](implicit arbB: Arbitrary[B], equB: Eq[B], reiB: Reified[B], compat: Compat[A, B]): RuleSet
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unrefinedArbModelAtom: Arbitrary[Atom]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Laws
Inherited from AnyRef
Inherited from Any