Package

pathy

scalacheck

Permalink

package scalacheck

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. scalacheck
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type AbsDirOf[A] = PathOf[Abs, Dir, Sandboxed, A]

    Permalink
  2. type AbsFileOf[A] = PathOf[Abs, File, Sandboxed, A]

    Permalink
  3. final case class AlphaCharacters(value: slamdata.Predef.String) extends AnyVal with Product with Serializable

    Permalink
  4. final case class DirNameOf[A](dirname: DirName) extends Product with Serializable

    Permalink

    Represents a DirName indexed by another type A which is used to generate the segment.

    Represents a DirName indexed by another type A which is used to generate the segment.

    i.e. For some type A such that Arbitrary[A] and Show[A], Arbitrary[DirNameOf[A]] will generate an arbitrary DirName where the path segment is formed by the string representation of an arbitrary A.

  5. final case class FileNameOf[A](filename: FileName) extends Product with Serializable

    Permalink

    Represents a FileName indexed by another type A which is used to generate the segment.

    Represents a FileName indexed by another type A which is used to generate the segment.

    i.e. For some type A such that Arbitrary[A] and Show[A], Arbitrary[FileNameOf[A]] will generate an arbitrary FileName where the path segment is formed by the string representation of an arbitrary A.

  6. final case class PathOf[B, T, S, A](path: Path[B, T, S]) extends slamdata.Predef.AnyVal with Product with Serializable

    Permalink

    Represents a Path[B,T,S] indexed by another type A which is used to generate path segments.

    Represents a Path[B,T,S] indexed by another type A 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 arbitrary A.

  7. type RelDirOf[A] = PathOf[Rel, Dir, Sandboxed, A]

    Permalink
  8. type RelFileOf[A] = PathOf[Rel, File, Sandboxed, A]

    Permalink

Value Members

  1. object AlphaCharacters extends Serializable

    Permalink
  2. val MaxPrintableASCII: slamdata.Predef.Char

    Permalink
  3. val MinPrintableASCII: slamdata.Predef.Char

    Permalink
  4. object PathNameOf

    Permalink
  5. object PathOf extends Serializable

    Permalink
  6. object PathyArbitrary

    Permalink
  7. def sizeDistributed[A, B, C](ga: Gen[A], gb: Gen[B])(f: (A, B) ⇒ C): Gen[C]

    Permalink

    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.

  8. def sizeDistributedListOfNonEmpty[A](g: Gen[A]): Gen[slamdata.Predef.List[A]]

    Permalink

    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.

Inherited from AnyRef

Inherited from Any

Ungrouped