scalacheck

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 type A which is used to generate the segment.
final case class FileNameOf[A](filename: FileName) extends Product with Serializable

Represents a FileName indexed by another type A which is used to generate the segment.
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 type A which is used to generate path segments.
type RelDirOf[A] = PathOf[Rel, Dir, Sandboxed, A]
type RelFileOf[A] = PathOf[Rel, File, Sandboxed, A]

object AlphaCharacters extends Serializable
val MaxPrintableASCII: slamdata.Predef.Char
val MinPrintableASCII: slamdata.Predef.Char
object PathNameOf
object PathOf extends Serializable
object PathyArbitrary
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.