scalaprops-all/scalaprops

scalaprops

package scalaprops

Type members

Classlikes

sealed abstract
class :-:[+H, +T <: Or] extends Or
Companion
object
object :-: extends OrConsInstances
Companion
class
sealed abstract
class AddArgs extends HasResult
sealed abstract
class Arg
Companion
object
object Arg
Companion
class
final case
class Arguments(only: List[String], showDuration: Int, param: ParamOpt)
Companion
object
object Arguments
Companion
class
abstract
class AsProperty[A]
See also
Companion
object
object AsProperty
Companion
class
final case
class Bool
Companion
object
object Bool
Companion
class
final case
class Check(prop: Property, paramEndo: Endo[Param])
sealed abstract
class CheckResult extends Product with Serializable
Companion
object
object CheckResult
Companion
class
sealed abstract
class CheckResultError extends Product with Serializable
Companion
object
object CheckResultError
Companion
class
abstract
class Choose[A]
Companion
object
object Choose
Companion
class
abstract
class Cogen[A]
Companion
object
object Cogen extends CogenInstances0
Companion
class
abstract
class CogenInstances extends CogenInstances1
sealed abstract
class CogenInstances0 extends CogenInstances
abstract
class CogenInstances1
final case
class CogenState[A](rand: Rand, gen: Gen[A])
object F2Polynomial

Polynomial over the field of two elements. F2[t]

Polynomial over the field of two elements. F2[t]

This class is immutable.

Caution: This class is not efficient for large polynomial.

Companion
class
final
class F2Polynomial
Value Params
pol

internal representation of polynomial.

Companion
object
final case
class Gen[A]
Companion
object
object Gen extends GenInstances0
Companion
class
abstract
class GenInstances extends GenInstances2
sealed abstract
class GenInstances0 extends GenInstances1
abstract
class GenInstances1 extends GenInstances
abstract
class GenInstances2
sealed abstract
class HasResult extends Result
sealed abstract
class Inj[C <: Or, I] extends Serializable
Companion
object
object Inj
Companion
class
final
class Lazy[A]
Companion
object
object Lazy
Companion
class
final
class MersenneTwister32 extends Rand
Companion
object
object MersenneTwister32
Companion
class
final
class MersenneTwister64 extends Rand
Companion
object
object MersenneTwister64
Companion
class
sealed abstract
class Or
Companion
object
object Or
Companion
class
sealed abstract
class OrConsInstances
final case
class Param(seed: Seed, minSuccessful: Int, maxDiscarded: Int, minSize: Int, maxSize: Int, timeout: Duration)
Companion
object
object Param
Companion
class
final case
class ParamOpt(seed: Option[Seed], minSuccessful: Option[Int], maxDiscarded: Option[Int], minSize: Option[Int], maxSize: Option[Int], timeoutSeconds: Option[Int])
final case
class Properties[A]
Companion
object
object Properties
Companion
class
final case
class Property(f: (Int, Rand) => (Rand, Result))
Companion
object
object Property
Companion
class
abstract
class Rand
Companion
object
object Rand
Companion
class
sealed abstract
class Result extends Product with Serializable
Companion
object
object Result
Companion
class
trait Scalaprops
Companion
object
object Scalaprops
Companion
class
final
class ScalapropsEvent(fullyQualifiedName0: String, fingerprint0: Fingerprint, selector0: Selector, status0: Status, throwable0: OptionalThrowable, duration0: Long, result0: CheckResultError) extends Event
class ScalapropsFramework extends Framework
abstract
class ScalapropsListener
Companion
object
object ScalapropsListener
Companion
class
object ScalapropsRunner
Companion
class
final
class ScalapropsRunner(val args: Array[String], val remoteArgs: Array[String], testClassLoader: ClassLoader) extends Runner
Companion
object
object ScalapropsScalaz extends ScalapropsScalaz0
sealed abstract
class ScalapropsScalaz0 extends ScalapropsScalaz1
abstract
class ScalapropsScalaz1
final
class ScalapropsTaskImpl(taskDef0: TaskDef, testClassLoader: ClassLoader, args: Array[String], arguments: Arguments, results: ArrayBuffer[TestResult], status: TestStatus) extends Task
Companion
object
object ScalapropsTaskImpl
Companion
class
final
class ScalazLaw
Companion
object
object ScalazLaw
Companion
class
abstract
class Seed extends Product with Serializable
Companion
object
object Seed
Companion
class
final
class Shrink[A](val f: A => Stream[A])
Companion
object
object Shrink
Companion
class
abstract
class TestExecutor
object TestExecutorImpl
object TinyMT32

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
Companion
class
final case
class TinyMT32(st0: Int, st1: Int, st2: Int, st3: Int, parameter: TinyMT32Parameter) extends Rand
Value Params
parameter

parameters for this generator.

Companion
object
object TinyMT32Parameter

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

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

Companion
class
final case
class TinyMT32Parameter(characteristic: F2Polynomial, id: Int, mat1: Int, mat2: Int, tmat: Int, weight: Int, delta: Int)
Value Params
characteristic

characteristic polynomial.

delta

Delta of TinyMT.

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.

Companion
object
object Variant