scalaprops-all/scalaprops/Properties

Properties

object Properties
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def either[A, B](id: A, prop0: Properties[B], props: Properties[B]*): Properties[A :-: B :-: Empty]
def fromChecks[A](id: A)(checks: (A, Check)*): Properties[A]
def fromProps[A](id: A, prop0: Properties[A], props: Properties[A]*): Properties[A]
def list[A](prop0: Properties[A], props: Properties[A]*): Properties[Unit :-: A :-: Empty]
def properties[A](id: A)(props: (A, Property)*): Properties[A]
def single[A](id: A, c: Check): Properties[A]
def single[A](id: A, p: Property): Properties[A]