package scalacheck
- Alphabetic
- By Inheritance
- scalacheck
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- type AbsDirOf[A] = PathOf[Abs, Dir, Sandboxed, A]
- type AbsFileOf[A] = PathOf[Abs, File, Sandboxed, A]
- final case class AlphaCharacters (value: slamdata.Predef.String) extends AnyVal with Product with Serializable
-
final
case class
DirNameOf
[A](dirname: DirName) extends Product with Serializable
Represents a
DirName
indexed by another typeA
which is used to generate the segment.Represents a
DirName
indexed by another typeA
which is used to generate the segment.i.e. For some type
A
such thatArbitrary[A]
andShow[A]
,Arbitrary[DirNameOf[A]]
will generate an arbitraryDirName
where the path segment is formed by the string representation of an arbitraryA
. -
final
case class
FileNameOf
[A](filename: FileName) extends Product with Serializable
Represents a
FileName
indexed by another typeA
which is used to generate the segment.Represents a
FileName
indexed by another typeA
which is used to generate the segment.i.e. For some type
A
such thatArbitrary[A]
andShow[A]
,Arbitrary[FileNameOf[A]]
will generate an arbitraryFileName
where the path segment is formed by the string representation of an arbitraryA
. -
final
case class
PathOf
[B, T, S, A](path: Path[B, T, S]) extends slamdata.Predef.AnyVal with Product with Serializable
Represents a
Path[B,T,S]
indexed by another typeA
which is used to generate path segments.Represents a
Path[B,T,S]
indexed by another typeA
which is used to generate path segments.i.e. For some type
A
such that Arbitrary[A] and Show[A], Arbitrary[PathOf[B,T,S,A]] will generate an arbitrary Path[B,T,S] where every path segment is formed by the string representation of an arbitraryA
. - type RelDirOf[A] = PathOf[Rel, Dir, Sandboxed, A]
- type RelFileOf[A] = PathOf[Rel, File, Sandboxed, A]
Value Members
- val MaxPrintableASCII: slamdata.Predef.Char
- val MinPrintableASCII: slamdata.Predef.Char
-
def
sizeDistributed[A, B, C](ga: Gen[A], gb: Gen[B])(f: (A, B) ⇒ C): Gen[C]
Generator that distributes the available size to two component generators, and then combines the results.
Generator that distributes the available size to two component generators, and then combines the results. Can be used to generate nested structures where the aggregate size of component/leaf elements is effectively controlled by the size parameter.
-
def
sizeDistributedListOfNonEmpty[A](g: Gen[A]): Gen[slamdata.Predef.List[A]]
Generator for lists of non-atomic components, where the size parameter is spread across all the generated elements so that the aggregate size of component/leaf elements is effectively controlled by the size parameter.
Generator for lists of non-atomic components, where the size parameter is spread across all the generated elements so that the aggregate size of component/leaf elements is effectively controlled by the size parameter. No element is ever generated with a size parameter of less than 1, and each "cons cell" consumes one unit of size.
- Annotations
- @SuppressWarnings()
- object AlphaCharacters extends Serializable
- object PathNameOf
- object PathOf extends Serializable
- object PathyArbitrary