proptest

Use

(↥ "pkg:proptest" pkg)

Call the exports below through the pkg alias, for example pkg.Bootstrap.

Functions

Bootstrap

Type: (∷ (→ Unit Any))

Construct Bootstrap values.

PropertyCaseV1

Type: (∷ (→ Any Any Any Any Any))

Construct PropertyCaseV1 values.

PropertyFailureContextV1

Type: (∷ (→ Any Any Any Any Any))

Construct PropertyFailureContextV1 values.

ProptestGeneratorKindBool

Type: (∷ (→ Unit Any))

Construct ProptestGeneratorKindBool values.

ProptestGeneratorKindCollection

Type: (∷ (→ Unit Any))

Construct ProptestGeneratorKindCollection values.

ProptestGeneratorKindInt

Type: (∷ (→ Unit Any))

Construct ProptestGeneratorKindInt values.

ProptestGeneratorKindText

Type: (∷ (→ Unit Any))

Construct ProptestGeneratorKindText values.

ProptestGeneratorSpecBool

Type: (∷ (→ Any Any))

Construct ProptestGeneratorSpecBool values.

ProptestGeneratorSpecCollection

Type: (∷ (→ Any Any Any))

Construct ProptestGeneratorSpecCollection values.

ProptestGeneratorSpecInt

Type: (∷ (→ Any Any Any))

Construct ProptestGeneratorSpecInt values.

ProptestGeneratorSpecText

Type: (∷ (→ Any Any Any))

Construct ProptestGeneratorSpecText values.

ProptestIntDomainV1

Type: (∷ (→ Any Any Any))

Construct ProptestIntDomainV1 values.

ProptestReplayOutcomeV1

Type: (∷ (→ Any Any Any Any))

Construct ProptestReplayOutcomeV1 values.

ProptestReplayPointV1

Type: (∷ (→ Any Any Any Any))

Construct ProptestReplayPointV1 values.

ProptestReportStatusFail

Type: (∷ (→ Unit Any))

Construct ProptestReportStatusFail values.

ProptestReportStatusPass

Type: (∷ (→ Unit Any))

Construct ProptestReportStatusPass values.

ProptestReportStatusSkip

Type: (∷ (→ Unit Any))

Construct ProptestReportStatusSkip values.

ProptestReportV1

Type: (∷ (→ Any Any Any Any Any Any Any))

Construct ProptestReportV1 values.

ProptestReportWireV1

Type: (∷ (→ Any Any Any Any Any Any Any Any Any))

Construct ProptestReportWireV1 values.

ProptestShrinkStrategyBinary

Type: (∷ (→ Unit Any))

Construct ProptestShrinkStrategyBinary values.

ProptestShrinkStrategyLinear

Type: (∷ (→ Unit Any))

Construct ProptestShrinkStrategyLinear values.

ProptestShrinkStrategyNone

Type: (∷ (→ Unit Any))

Construct ProptestShrinkStrategyNone values.

ProptestShrinkTraceEmpty

Type: (∷ (→ Unit Any))

Construct ProptestShrinkTraceEmpty values.

ProptestShrinkTraceNode

Type: (∷ (→ Any Any Any))

Construct ProptestShrinkTraceNode values.

ProptestSizeDomainV1

Type: (∷ (→ Any Any Any))

Construct ProptestSizeDomainV1 values.

ProptestSlotCore

Type: (∷ (→ Unit Any))

Construct ProptestSlotCore values.

ProptestSlotReserved

Type: (∷ (→ Unit Any))

Construct ProptestSlotReserved values.

ProptestSlotUnknown

Type: (∷ (→ Unit Any))

Construct ProptestSlotUnknown values.

ProptestTaxonomyAdditive

Type: (∷ (→ Unit Any))

Construct ProptestTaxonomyAdditive values.

ProptestTaxonomyBreaking

Type: (∷ (→ Unit Any))

Construct ProptestTaxonomyBreaking values.

ProptestTaxonomyDeprecation

Type: (∷ (→ Unit Any))

Construct ProptestTaxonomyDeprecation values.

ProptestTextDomainV1

Type: (∷ (→ Any Any Any))

Construct ProptestTextDomainV1 values.

proptest-api-version

Type: (∷ (→ Unit Any))

0x0 library function proptest-api-version.

library-name

Type: (∷ (→ Unit Any))

0x0 library function library-name.

build-stage

Type: (∷ (→ Unit Any))

0x0 library function build-stage.

property-failure-context

Type: (∷ (→ Any Any Any Any Any))

0x0 library function property-failure-context.

property-failure-property-name

Type: (∷ (→ Any Any))

0x0 library function property-failure-property-name.

property-failure-seed-text

Type: (∷ (→ Any Any))

0x0 library function property-failure-seed-text.

property-failure-case-index-text

Type: (∷ (→ Any Any))

0x0 library function property-failure-case-index-text.

property-failure-message-text

Type: (∷ (→ Any Any))

0x0 library function property-failure-message-text.

require-property-name

Type: (∷ (→ Any Any))

0x0 library function require-property-name.

require-seed

Type: (∷ (→ Any Any))

0x0 library function require-seed.

require-case-index

Type: (∷ (→ Any Any))

0x0 library function require-case-index.

require-failure-message

Type: (∷ (→ Any Any))

0x0 library function require-failure-message.

require-generator-label

Type: (∷ (→ Any Any))

0x0 library function require-generator-label.

require-generator-domain-text

Type: (∷ (→ Any Any Any))

0x0 library function require-generator-domain-text.

require-shrink-step

Type: (∷ (→ Any Any))

0x0 library function require-shrink-step.

require-counterexample

Type: (∷ (→ Any Any))

0x0 library function require-counterexample.

parse-seed-text

Type: (∷ (→ Any Any))

0x0 library function parse-seed-text.

parse-case-index-text

Type: (∷ (→ Any Any))

0x0 library function parse-case-index-text.

resolve-seed-text

Type: (∷ (→ Any Any Any))

0x0 library function resolve-seed-text.

resolve-case-index-text

Type: (∷ (→ Any Any Any))

0x0 library function resolve-case-index-text.

parse-shrink-step-text

Type: (∷ (→ Any Any))

0x0 library function parse-shrink-step-text.

resolve-shrink-step-text

Type: (∷ (→ Any Any Any))

0x0 library function resolve-shrink-step-text.

validate-property-failure-context

Type: (∷ (→ Any Any))

0x0 library function validate-property-failure-context.

validate-property-case

Type: (∷ (→ Any Any))

0x0 library function validate-property-case.

property-failure-error

Type: (∷ (→ Any Any Any Any))

0x0 library function property-failure-error.

property-case

Type: (∷ (→ Any Any Any Any Any))

0x0 library function property-case.

property-case-name

Type: (∷ (→ Any Any))

0x0 library function property-case-name.

property-case-seed

Type: (∷ (→ Any Any))

0x0 library function property-case-seed.

property-case-index

Type: (∷ (→ Any Any))

0x0 library function property-case-index.

property-case-failure-context

Type: (∷ (→ Any Any))

0x0 library function property-case-failure-context.

proptest-generator-kind-int

Type: (∷ (→ Unit Any))

0x0 library function proptest-generator-kind-int.

proptest-generator-kind-bool

Type: (∷ (→ Unit Any))

0x0 library function proptest-generator-kind-bool.

proptest-generator-kind-text

Type: (∷ (→ Unit Any))

0x0 library function proptest-generator-kind-text.

proptest-generator-kind-collection

Type: (∷ (→ Unit Any))

0x0 library function proptest-generator-kind-collection.

proptest-generator-kind-text-label

Type: (∷ (→ Any Any))

0x0 library function proptest-generator-kind-text-label.

parse-generator-kind-label

Type: (∷ (→ Any Any))

0x0 library function parse-generator-kind-label.

proptest-int-domain

Type: (∷ (→ Any Any Any))

0x0 library function proptest-int-domain.

proptest-int-domain-min-inclusive

Type: (∷ (→ Any Any))

0x0 library function proptest-int-domain-min-inclusive.

proptest-int-domain-max-inclusive

Type: (∷ (→ Any Any))

0x0 library function proptest-int-domain-max-inclusive.

proptest-text-domain

Type: (∷ (→ Any Any Any))

0x0 library function proptest-text-domain.

proptest-text-domain-prefix-text

Type: (∷ (→ Any Any))

0x0 library function proptest-text-domain-prefix-text.

proptest-text-domain-fallback-text

Type: (∷ (→ Any Any))

0x0 library function proptest-text-domain-fallback-text.

proptest-size-domain

Type: (∷ (→ Any Any Any))

0x0 library function proptest-size-domain.

proptest-size-domain-min

Type: (∷ (→ Any Any))

0x0 library function proptest-size-domain-min.

proptest-size-domain-max

Type: (∷ (→ Any Any))

0x0 library function proptest-size-domain-max.

proptest-generator-spec-int

Type: (∷ (→ Any Any Any))

0x0 library function proptest-generator-spec-int.

proptest-generator-spec-bool

Type: (∷ (→ Any Any))

0x0 library function proptest-generator-spec-bool.

proptest-generator-spec-text

Type: (∷ (→ Any Any Any))

0x0 library function proptest-generator-spec-text.

proptest-generator-spec-collection

Type: (∷ (→ Any Any Any))

0x0 library function proptest-generator-spec-collection.

proptest-generator-spec-label

Type: (∷ (→ Any Any))

0x0 library function proptest-generator-spec-label.

proptest-generator-spec-kind

Type: (∷ (→ Any Any))

0x0 library function proptest-generator-spec-kind.

proptest-replay-point

Type: (∷ (→ Any Any Any Any))

0x0 library function proptest-replay-point.

proptest-replay-point-seed

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-point-seed.

proptest-replay-point-case-index

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-point-case-index.

proptest-replay-point-shrink-step

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-point-shrink-step.

proptest-replay-points-match

Type: (∷ (→ Any Any Any))

0x0 library function proptest-replay-points-match.

proptest-shrink-trace-empty

Type: (∷ (→ Unit Any))

0x0 library function proptest-shrink-trace-empty.

proptest-shrink-trace-add

Type: (∷ (→ Any Any Any))

0x0 library function proptest-shrink-trace-add.

proptest-shrink-trace-first-or

Type: (∷ (→ Any Any Any))

0x0 library function proptest-shrink-trace-first-or.

proptest-replay-outcome

Type: (∷ (→ Any Any Any Any))

0x0 library function proptest-replay-outcome.

proptest-replay-outcome-point

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-outcome-point.

proptest-replay-outcome-minimal-counterexample

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-outcome-minimal-counterexample.

proptest-replay-outcome-shrink-trace

Type: (∷ (→ Any Any))

0x0 library function proptest-replay-outcome-shrink-trace.

proptest-code-slot

Type: (∷ (→ Any Any))

0x0 library function proptest-code-slot.

proptest-code-slot-text

Type: (∷ (→ Any Any))

0x0 library function proptest-code-slot-text.

is-reserved-proptest-code

Type: (∷ (→ Any Any))

0x0 library function is-reserved-proptest-code.

ensure-non-reserved-proptest-code

Type: (∷ (→ Any Any))

0x0 library function ensure-non-reserved-proptest-code.

proptest-report-status-pass

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-status-pass.

proptest-report-status-fail

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-status-fail.

proptest-report-status-skip

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-status-skip.

proptest-report-status-text

Type: (∷ (→ Any Any))

0x0 library function proptest-report-status-text.

parse-proptest-report-status-label

Type: (∷ (→ Any Any))

0x0 library function parse-proptest-report-status-label.

proptest-report-metadata-empty

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-metadata-empty.

proptest-report-metadata-put

Type: (∷ (→ Any Any Any Any))

0x0 library function proptest-report-metadata-put.

proptest-report

Type: (∷ (→ Any Any Any Any Any Any Any))

0x0 library function proptest-report.

proptest-report-property-name

Type: (∷ (→ Any Any))

0x0 library function proptest-report-property-name.

proptest-report-status

Type: (∷ (→ Any Any))

0x0 library function proptest-report-status.

proptest-report-replay-point

Type: (∷ (→ Any Any))

0x0 library function proptest-report-replay-point.

proptest-report-minimal-counterexample

Type: (∷ (→ Any Any))

0x0 library function proptest-report-minimal-counterexample.

proptest-report-message

Type: (∷ (→ Any Any))

0x0 library function proptest-report-message.

proptest-report-metadata

Type: (∷ (→ Any Any))

0x0 library function proptest-report-metadata.

proptest-report-wire-schema-version

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-schema-version.

proptest-report-wire-field-property-name

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-property-name.

proptest-report-wire-field-status

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-status.

proptest-report-wire-field-seed

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-seed.

proptest-report-wire-field-case-index

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-case-index.

proptest-report-wire-field-shrink-step

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-shrink-step.

proptest-report-wire-field-counterexample

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-counterexample.

proptest-report-wire-field-message

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-message.

proptest-report-wire-field-metadata

Type: (∷ (→ Unit Any))

0x0 library function proptest-report-wire-field-metadata.

proptest-report-wire-field-is-required

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-field-is-required.

proptest-report-to-wire-v1

Type: (∷ (→ Any Any))

0x0 library function proptest-report-to-wire-v1.

proptest-report-from-wire-v1

Type: (∷ (→ Any Any))

0x0 library function proptest-report-from-wire-v1.

proptest-report-wire-property-name

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-property-name.

proptest-report-wire-status-label

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-status-label.

proptest-report-wire-seed-text

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-seed-text.

proptest-report-wire-case-index-text

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-case-index-text.

proptest-report-wire-shrink-step-text

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-shrink-step-text.

proptest-report-wire-counterexample

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-counterexample.

proptest-report-wire-message

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-message.

proptest-report-wire-metadata

Type: (∷ (→ Any Any))

0x0 library function proptest-report-wire-metadata.

proptest-shrink-strategy-binary

Type: (∷ (→ Unit Any))

0x0 library function proptest-shrink-strategy-binary.

proptest-shrink-strategy-linear

Type: (∷ (→ Unit Any))

0x0 library function proptest-shrink-strategy-linear.

proptest-shrink-strategy-none

Type: (∷ (→ Unit Any))

0x0 library function proptest-shrink-strategy-none.

proptest-shrink-strategy-text

Type: (∷ (→ Any Any))

0x0 library function proptest-shrink-strategy-text.

parse-shrink-strategy-label

Type: (∷ (→ Any Any))

0x0 library function parse-shrink-strategy-label.

normalize-generator-kind-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-generator-kind-label-or.

normalize-generator-kind-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-generator-kind-label-or-default.

normalize-shrink-strategy-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-shrink-strategy-label-or.

normalize-shrink-strategy-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-shrink-strategy-label-or-default.

normalize-proptest-report-status-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-proptest-report-status-label-or.

normalize-proptest-report-status-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-proptest-report-status-label-or-default.

proptest-taxonomy-additive-change

Type: (∷ (→ Unit Any))

0x0 library function proptest-taxonomy-additive-change.

proptest-taxonomy-deprecation-change

Type: (∷ (→ Unit Any))

0x0 library function proptest-taxonomy-deprecation-change.

proptest-taxonomy-breaking-change

Type: (∷ (→ Unit Any))

0x0 library function proptest-taxonomy-breaking-change.

proptest-taxonomy-change-semver

Type: (∷ (→ Any Any))

0x0 library function proptest-taxonomy-change-semver.

classify-error-severity

Type: (∷ (→ Any Any))

0x0 library function classify-error-severity.

classify-retry-strategy

Type: (∷ (→ Any Any))

0x0 library function classify-retry-strategy.