Package

scalaprops

Permalink

package scalaprops

Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class :-:[+H, +T <: Or] extends Or

    Permalink
  2. sealed abstract class AddArgs extends HasResult

    Permalink
  3. sealed abstract class Arg extends AnyRef

    Permalink
  4. final case class Arguments(only: Option[NonEmptyList[String]], showDuration: Int, param: ParamOpt) extends Product with Serializable

    Permalink
  5. abstract class AsProperty[A] extends AnyRef

    Permalink

  6. final case class Bool extends Product with Serializable

    Permalink
  7. final case class Check(prop: Property, paramEndo: Endo[Param] = Param.id) extends Product with Serializable

    Permalink
  8. sealed abstract class CheckResult extends Product with Serializable

    Permalink
  9. abstract class Choose[A] extends AnyRef

    Permalink
  10. abstract class Cogen[A] extends AnyRef

    Permalink
  11. abstract class CogenInstances extends AnyRef

    Permalink
  12. sealed abstract class CogenInstances0 extends CogenInstances

    Permalink
  13. final case class CogenState[A](rand: Rand, gen: Gen[A]) extends Product with Serializable

    Permalink
  14. final class F2Polynomial extends AnyRef

    Permalink

  15. final case class Gen[A] extends Product with Serializable

    Permalink
  16. abstract class GenInstances extends AnyRef

    Permalink
  17. sealed abstract class GenInstances0 extends GenInstances1

    Permalink
  18. abstract class GenInstances1 extends GenInstances

    Permalink
  19. sealed abstract class HasResult extends Result

    Permalink
  20. sealed abstract class Inj[C <: Or, I] extends Serializable

    Permalink
  21. final class MersenneTwister32 extends Rand

    Permalink
  22. final class MersenneTwister64 extends Rand

    Permalink
  23. sealed abstract class Or extends AnyRef

    Permalink
  24. sealed abstract class OrConsInstances extends AnyRef

    Permalink
  25. 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

    Permalink
  26. 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

    Permalink
  27. final case class Properties[A] extends Product with Serializable

    Permalink
  28. final case class Property(f: (Int, Rand) ⇒ (Rand, Result)) extends Product with Serializable

    Permalink
  29. abstract class Rand extends AnyRef

    Permalink
  30. sealed abstract class Result extends Product with Serializable

    Permalink
  31. trait Scalaprops extends AnyRef

    Permalink
    Annotations
    @JSExportDescendentObjects()
  32. 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

    Permalink
  33. class ScalapropsFramework extends Framework

    Permalink
  34. abstract class ScalapropsListener extends AnyRef

    Permalink
  35. final class ScalapropsRunner extends Runner

    Permalink
  36. final class ScalapropsTaskImpl extends Task

    Permalink
  37. final class ScalazLaw extends AnyRef

    Permalink
  38. abstract class Seed extends Product with Serializable

    Permalink
  39. final class Shrink[A] extends AnyRef

    Permalink
  40. abstract class TestExecutor extends AnyRef

    Permalink
  41. final case class TinyMT32(st0: Int, st1: Int, st2: Int, st3: Int, parameter: TinyMT32Parameter) extends Rand with Product with Serializable

    Permalink

    parameter

    parameters for this generator.

  42. final case class TinyMT32Parameter(characteristic: F2Polynomial, id: Int, mat1: Int, mat2: Int, tmat: Int, weight: Int, delta: Int) extends Product with Serializable

    Permalink

    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

  1. object :-: extends OrConsInstances

    Permalink
  2. object Arg

    Permalink
  3. object Arguments extends Serializable

    Permalink
  4. object AsProperty

    Permalink
  5. object Bool extends Serializable

    Permalink
  6. object CheckResult extends Serializable

    Permalink
  7. object Choose

    Permalink
  8. object Cogen extends CogenInstances0

    Permalink
  9. object F2Polynomial

    Permalink

    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.

  10. object Gen extends GenInstances0 with Serializable

    Permalink
  11. object GenTags

    Permalink
  12. object Inj extends Serializable

    Permalink
  13. object MersenneTwister32

    Permalink
  14. object MersenneTwister64

    Permalink
  15. object Or

    Permalink
  16. object Param extends Serializable

    Permalink
  17. object Properties extends Serializable

    Permalink
  18. object Property extends Serializable

    Permalink
  19. object Rand

    Permalink
  20. object Result extends Serializable

    Permalink
  21. object Scalaprops

    Permalink
  22. object ScalapropsListener

    Permalink
  23. object ScalapropsRunner

    Permalink
  24. object ScalazLaw

    Permalink
  25. object Seed extends Serializable

    Permalink
  26. object Shrink

    Permalink
  27. object TestExecutorImpl

    Permalink
  28. object TinyMT32 extends Serializable

    Permalink

    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

    TinyMT web page

  29. object TinyMT32Parameter extends Serializable

    Permalink

    This class is used to keep parameters for TinyMT32, and to get parameters from resource file.

  30. object Variant

    Permalink
  31. package scalazlaws

    Permalink

Ungrouped