p
scalaprops
package scalaprops
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- sealed abstract class :-: [+H, +T <: Or] extends Or
- sealed abstract class AddArgs extends HasResult
- sealed abstract class Arg extends AnyRef
- final case class Arguments (only: Option[NonEmptyList[String]], showDuration: Int, param: ParamOpt) extends Product with Serializable
-
abstract
class
AsProperty
[A] extends AnyRef
- See also
- final case class Bool extends Product with Serializable
- final case class Check (prop: Property, paramEndo: Endo[Param] = Param.id) extends Product with Serializable
- sealed abstract class CheckResult extends Product with Serializable
- abstract class Choose [A] extends AnyRef
- abstract class Cogen [A] extends AnyRef
- abstract class CogenInstances extends AnyRef
- sealed abstract class CogenInstances0 extends CogenInstances
- final case class CogenState [A](rand: Rand, gen: Gen[A]) extends Product with Serializable
- final class F2Polynomial extends AnyRef
- final case class Gen [A] extends Product with Serializable
- abstract class GenInstances extends AnyRef
- sealed abstract class GenInstances0 extends GenInstances1
- abstract class GenInstances1 extends GenInstances
- sealed abstract class HasResult extends Result
- sealed abstract class Inj [C <: Or, I] extends Serializable
- final class MersenneTwister32 extends Rand
- final class MersenneTwister64 extends Rand
- sealed abstract class Or extends AnyRef
- sealed abstract class OrConsInstances extends AnyRef
- final case class Param (seed: Seed, minSuccessful: Int = Platform.minSuccessful, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = Duration(30, TimeUnit.SECONDS)) extends Product with Serializable
- final case class ParamOpt (seed: Option[Seed], minSuccessful: Option[Int], maxDiscarded: Option[Int], minSize: Option[Int], maxSize: Option[Int], timeoutSeconds: Option[Int]) extends Product with Serializable
- final case class Properties [A] extends Product with Serializable
- final case class Property (f: (Int, Rand) ⇒ (Rand, Result)) extends Product with Serializable
- abstract class Rand extends AnyRef
- sealed abstract class Result extends Product with Serializable
-
trait
Scalaprops
extends AnyRef
- Annotations
- @JSExportDescendentObjects()
- final case class ScalapropsEvent (fullyQualifiedName: String, fingerprint: Fingerprint, selector: Selector, status: Status, throwable: OptionalThrowable, duration: Long, result: \&/[Throwable, CheckResult]) extends Event with Product with Serializable
- class ScalapropsFramework extends Framework
- abstract class ScalapropsListener extends AnyRef
- final class ScalapropsRunner extends Runner
- final class ScalapropsTaskImpl extends Task
- final class ScalazLaw extends AnyRef
- abstract class Seed extends Product with Serializable
- final class Shrink [A] extends AnyRef
- abstract class TestExecutor extends AnyRef
-
final
case class
TinyMT32
(st0: Int, st1: Int, st2: Int, st3: Int, parameter: TinyMT32Parameter) extends Rand with Product with Serializable
- parameter
parameters for this generator.
-
final
case class
TinyMT32Parameter
(characteristic: F2Polynomial, id: Int, mat1: Int, mat2: Int, tmat: Int, weight: Int, delta: Int) extends Product with Serializable
- characteristic
characteristic polynomial.
- id
ID of TinyMT32.
- mat1
parameter mat1 of TinyMT32.
- mat2
parameter mat2 of TinyMT32.
- tmat
parameter tmat of TinyMT32.
- weight
Hamming weight of characteristic polynomial.
- delta
Delta of TinyMT.
Value Members
- object :-: extends OrConsInstances
- object Arg
- object Arguments extends Serializable
- object AsProperty
- object Bool extends Serializable
- object CheckResult extends Serializable
- object Choose
- object Cogen extends CogenInstances0
-
object
F2Polynomial
Polynomial over the field of two elements.
Polynomial over the field of two elements. F2[t]
This class is immutable.
Caution: This class is not efficient for large polynomial.
- object Gen extends GenInstances0 with Serializable
- object GenTags
- object Inj extends Serializable
- object MersenneTwister32
- object MersenneTwister64
- object Or
- object Param extends Serializable
- object Properties extends Serializable
- object Property extends Serializable
- object Rand
- object Result extends Serializable
- object Scalaprops
- object ScalapropsListener
- object ScalapropsRunner
- object ScalazLaw
- object Seed extends Serializable
- object Shrink
- object TestExecutorImpl
-
object
TinyMT32
extends Serializable
TinyMT is a pseudo random number generator.
TinyMT is a pseudo random number generator.
To get an instance, call
TinyMT32.getDefault
This class supports jump function. User can get an array of pseudo random number generators by calling
TinyMT32#getDefaultArray
- See also
-
object
TinyMT32Parameter
extends Serializable
This class is used to keep parameters for TinyMT32, and to get parameters from resource file.
- object Variant