scalaprops

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
final class Lazy[A] extends AnyRef
final class MersenneTwister32 extends Rand
final class MersenneTwister64 extends Rand
abstract class Rand 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.

object Choose
object Cogen extends CogenInstances0
object F2Polynomial

Polynomial over the field of two elements.
Polynomial over the field of two elements. F₂[t]
This class is immutable.
Caution: This class is not efficient for large polynomial.
object Gen extends GenInstances0 with Serializable
object Lazy
object MersenneTwister32
object MersenneTwister64
object Rand
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
TinyMT web page
object TinyMT32Parameter extends Serializable

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