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. abstract class AsProperty[A] extends AnyRef

    Permalink

  5. final case class Bool extends Product with Serializable

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

    Permalink
  7. sealed abstract class CheckResult extends Product with Serializable

    Permalink
  8. sealed abstract class HasResult extends Result

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

    Permalink
  10. sealed abstract class Or extends AnyRef

    Permalink
  11. sealed abstract class OrConsInstances extends AnyRef

    Permalink
  12. 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
  13. final case class Properties[A] extends Product with Serializable

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

    Permalink
  15. sealed abstract class Result extends Product with Serializable

    Permalink
  16. abstract class Seed extends Product with Serializable

    Permalink
  17. final class Shrink[A] extends AnyRef

    Permalink

Value Members

  1. object :-: extends OrConsInstances

    Permalink
  2. object Arg

    Permalink
  3. object AsProperty

    Permalink
  4. object Bool extends Serializable

    Permalink
  5. object CheckResult extends Serializable

    Permalink
  6. object Inj extends Serializable

    Permalink
  7. object Or

    Permalink
  8. object Param extends Serializable

    Permalink
  9. object Properties extends Serializable

    Permalink
  10. object Property extends Serializable

    Permalink
  11. object Result extends Serializable

    Permalink
  12. object Seed extends Serializable

    Permalink
  13. object Shrink

    Permalink
  14. package internal

    Permalink

Ungrouped