sim

Use

(↥ "pkg:sim" pkg)

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

Functions

Bootstrap

Type: (∷ (→ Unit Any))

Construct Bootstrap values.

SimSlotCore

Type: (∷ (→ Unit Any))

Construct SimSlotCore values.

SimSlotReserved

Type: (∷ (→ Unit Any))

Construct SimSlotReserved values.

SimSlotUnknown

Type: (∷ (→ Unit Any))

Construct SimSlotUnknown values.

SimulationEventLabelInvariant

Type: (∷ (→ Unit Any))

Construct SimulationEventLabelInvariant values.

SimulationEventLabelOutcome

Type: (∷ (→ Unit Any))

Construct SimulationEventLabelOutcome values.

SimulationEventLabelStep

Type: (∷ (→ Unit Any))

Construct SimulationEventLabelStep values.

SimulationFailureContextV1

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

Construct SimulationFailureContextV1 values.

SimulationInvariantCheckV1

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

Construct SimulationInvariantCheckV1 values.

SimulationInvariantFail

Type: (∷ (→ Unit Any))

Construct SimulationInvariantFail values.

SimulationInvariantPass

Type: (∷ (→ Unit Any))

Construct SimulationInvariantPass values.

SimulationOutcomeV1

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

Construct SimulationOutcomeV1 values.

SimulationReplayPointV1

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

Construct SimulationReplayPointV1 values.

SimulationReportV1

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

Construct SimulationReportV1 values.

SimulationReportWireV1

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

Construct SimulationReportWireV1 values.

SimulationResultStatusAborted

Type: (∷ (→ Unit Any))

Construct SimulationResultStatusAborted values.

SimulationResultStatusFailure

Type: (∷ (→ Unit Any))

Construct SimulationResultStatusFailure values.

SimulationResultStatusSuccess

Type: (∷ (→ Unit Any))

Construct SimulationResultStatusSuccess values.

SimulationRunV1

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

Construct SimulationRunV1 values.

SimulationScenarioClassFaultInjection

Type: (∷ (→ Unit Any))

Construct SimulationScenarioClassFaultInjection values.

SimulationScenarioClassNominal

Type: (∷ (→ Unit Any))

Construct SimulationScenarioClassNominal values.

SimulationScenarioClassReplay

Type: (∷ (→ Unit Any))

Construct SimulationScenarioClassReplay values.

SimulationScenarioV1

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

Construct SimulationScenarioV1 values.

SimulationStateEmpty

Type: (∷ (→ Unit Any))

Construct SimulationStateEmpty values.

SimulationStateEntry

Type: (∷ (→ Any Any Any))

Construct SimulationStateEntry values.

SimulationStateMissing

Type: (∷ (→ Unit Any))

Construct SimulationStateMissing values.

SimulationStateNode

Type: (∷ (→ Any Any Any))

Construct SimulationStateNode values.

SimulationStateValue

Type: (∷ (→ Any Any))

Construct SimulationStateValue values.

SimulationTaxonomyAdditive

Type: (∷ (→ Unit Any))

Construct SimulationTaxonomyAdditive values.

SimulationTaxonomyBreaking

Type: (∷ (→ Unit Any))

Construct SimulationTaxonomyBreaking values.

SimulationTaxonomyDeprecation

Type: (∷ (→ Unit Any))

Construct SimulationTaxonomyDeprecation values.

library-name

Type: (∷ (→ Unit Any))

0x0 library function library-name.

build-stage

Type: (∷ (→ Unit Any))

0x0 library function build-stage.

sim-api-version

Type: (∷ (→ Unit Any))

0x0 library function sim-api-version.

require-scenario-name

Type: (∷ (→ Any Any))

0x0 library function require-scenario-name.

require-seed

Type: (∷ (→ Any Any))

0x0 library function require-seed.

require-step-budget

Type: (∷ (→ Any Any))

0x0 library function require-step-budget.

require-failure-message

Type: (∷ (→ Any Any))

0x0 library function require-failure-message.

require-state-key

Type: (∷ (→ Any Any))

0x0 library function require-state-key.

require-state-value

Type: (∷ (→ Any Any Any))

0x0 library function require-state-value.

require-outcome-status

Type: (∷ (→ Any Any))

0x0 library function require-outcome-status.

require-step-index

Type: (∷ (→ Any Any))

0x0 library function require-step-index.

require-invariant-label

Type: (∷ (→ Any Any))

0x0 library function require-invariant-label.

require-invariant-message

Type: (∷ (→ Any Any))

0x0 library function require-invariant-message.

parse-seed-text

Type: (∷ (→ Any Any))

0x0 library function parse-seed-text.

parse-step-budget-text

Type: (∷ (→ Any Any))

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

resolve-seed-text

Type: (∷ (→ Any Any Any))

0x0 library function resolve-seed-text.

resolve-step-budget-text

Type: (∷ (→ Any Any Any))

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

parse-step-index-text

Type: (∷ (→ Any Any))

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

resolve-step-index-text

Type: (∷ (→ Any Any Any))

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

simulation-failure-context

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

0x0 library function simulation-failure-context.

simulation-failure-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-failure-scenario-name.

simulation-failure-seed-text

Type: (∷ (→ Any Any))

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

simulation-failure-step-budget-text

Type: (∷ (→ Any Any))

0x0 library function simulation-failure-step-budget-text.

simulation-failure-message-text

Type: (∷ (→ Any Any))

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

validate-simulation-failure-context

Type: (∷ (→ Any Any))

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

simulation-failure-error

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

0x0 library function simulation-failure-error.

simulation-run

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

0x0 library function simulation-run.

simulation-run-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-run-scenario-name.

simulation-run-seed

Type: (∷ (→ Any Any))

0x0 library function simulation-run-seed.

simulation-run-step-budget

Type: (∷ (→ Any Any))

0x0 library function simulation-run-step-budget.

simulation-run-failure-context

Type: (∷ (→ Any Any))

0x0 library function simulation-run-failure-context.

validate-simulation-run

Type: (∷ (→ Any Any))

0x0 library function validate-simulation-run.

simulation-state-empty

Type: (∷ (→ Unit Any))

0x0 library function simulation-state-empty.

simulation-state-put

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

0x0 library function simulation-state-put.

simulation-state-lookup

Type: (∷ (→ Any Any Any))

0x0 library function simulation-state-lookup.

simulation-state-optional-text

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

0x0 library function simulation-state-optional-text.

simulation-state-required-text

Type: (∷ (→ Any Any Any))

0x0 library function simulation-state-required-text.

simulation-scenario

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

0x0 library function simulation-scenario.

simulation-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-scenario-name.

simulation-scenario-seed

Type: (∷ (→ Any Any))

0x0 library function simulation-scenario-seed.

simulation-scenario-step-budget

Type: (∷ (→ Any Any))

0x0 library function simulation-scenario-step-budget.

simulation-scenario-initial-state

Type: (∷ (→ Any Any))

0x0 library function simulation-scenario-initial-state.

simulation-outcome

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

0x0 library function simulation-outcome.

simulation-outcome-status

Type: (∷ (→ Any Any))

0x0 library function simulation-outcome-status.

simulation-outcome-message

Type: (∷ (→ Any Any))

0x0 library function simulation-outcome-message.

simulation-outcome-state-snapshot

Type: (∷ (→ Any Any))

0x0 library function simulation-outcome-state-snapshot.

simulation-replay-point

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

0x0 library function simulation-replay-point.

simulation-replay-point-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-replay-point-scenario-name.

simulation-replay-point-seed

Type: (∷ (→ Any Any))

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

simulation-replay-point-step-budget

Type: (∷ (→ Any Any))

0x0 library function simulation-replay-point-step-budget.

simulation-replay-point-step-index

Type: (∷ (→ Any Any))

0x0 library function simulation-replay-point-step-index.

simulation-replay-matches

Type: (∷ (→ Any Any Any))

0x0 library function simulation-replay-matches.

simulation-step-at-or-beyond-budget

Type: (∷ (→ Any Any Any))

0x0 library function simulation-step-at-or-beyond-budget.

simulation-transition-next-step

Type: (∷ (→ Any Any Any))

0x0 library function simulation-transition-next-step.

simulation-transition-can-advance

Type: (∷ (→ Any Any Any))

0x0 library function simulation-transition-can-advance.

simulation-invariant-pass

Type: (∷ (→ Unit Any))

0x0 library function simulation-invariant-pass.

simulation-invariant-fail

Type: (∷ (→ Unit Any))

0x0 library function simulation-invariant-fail.

simulation-invariant-result-text

Type: (∷ (→ Any Any))

0x0 library function simulation-invariant-result-text.

simulation-invariant-check

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

0x0 library function simulation-invariant-check.

simulation-invariant-label

Type: (∷ (→ Any Any))

0x0 library function simulation-invariant-label.

simulation-invariant-result

Type: (∷ (→ Any Any))

0x0 library function simulation-invariant-result.

simulation-invariant-message

Type: (∷ (→ Any Any))

0x0 library function simulation-invariant-message.

simulation-invariant-is-passing

Type: (∷ (→ Any Any))

0x0 library function simulation-invariant-is-passing.

sim-code-slot

Type: (∷ (→ Any Any))

0x0 library function sim-code-slot.

sim-code-slot-text

Type: (∷ (→ Any Any))

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

is-reserved-sim-code

Type: (∷ (→ Any Any))

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

ensure-non-reserved-sim-code

Type: (∷ (→ Any Any))

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

simulation-result-status-success

Type: (∷ (→ Unit Any))

0x0 library function simulation-result-status-success.

simulation-result-status-failure

Type: (∷ (→ Unit Any))

0x0 library function simulation-result-status-failure.

simulation-result-status-aborted

Type: (∷ (→ Unit Any))

0x0 library function simulation-result-status-aborted.

simulation-result-status-text

Type: (∷ (→ Any Any))

0x0 library function simulation-result-status-text.

parse-simulation-result-status-label

Type: (∷ (→ Any Any))

0x0 library function parse-simulation-result-status-label.

simulation-report

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

0x0 library function simulation-report.

simulation-report-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-report-scenario-name.

simulation-report-status

Type: (∷ (→ Any Any))

0x0 library function simulation-report-status.

simulation-report-replay-point

Type: (∷ (→ Any Any))

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

simulation-report-message

Type: (∷ (→ Any Any))

0x0 library function simulation-report-message.

simulation-report-state-snapshot

Type: (∷ (→ Any Any))

0x0 library function simulation-report-state-snapshot.

simulation-report-wire-schema-version

Type: (∷ (→ Unit Any))

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

simulation-report-wire-field-scenario-name

Type: (∷ (→ Unit Any))

0x0 library function simulation-report-wire-field-scenario-name.

simulation-report-wire-field-status

Type: (∷ (→ Unit Any))

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

simulation-report-wire-field-seed

Type: (∷ (→ Unit Any))

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

simulation-report-wire-field-step-budget

Type: (∷ (→ Unit Any))

0x0 library function simulation-report-wire-field-step-budget.

simulation-report-wire-field-step-index

Type: (∷ (→ Unit Any))

0x0 library function simulation-report-wire-field-step-index.

simulation-report-wire-field-message

Type: (∷ (→ Unit Any))

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

simulation-report-wire-field-state-snapshot

Type: (∷ (→ Unit Any))

0x0 library function simulation-report-wire-field-state-snapshot.

simulation-report-wire-field-is-required

Type: (∷ (→ Any Any))

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

simulation-state-to-text-map

Type: (∷ (→ Any Any))

0x0 library function simulation-state-to-text-map.

simulation-state-from-text-map

Type: (∷ (→ Any Any))

0x0 library function simulation-state-from-text-map.

simulation-report-to-wire-v1

Type: (∷ (→ Any Any))

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

simulation-report-from-wire-v1

Type: (∷ (→ Any Any))

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

simulation-report-wire-scenario-name

Type: (∷ (→ Any Any))

0x0 library function simulation-report-wire-scenario-name.

simulation-report-wire-status-label

Type: (∷ (→ Any Any))

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

simulation-report-wire-seed-text

Type: (∷ (→ Any Any))

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

simulation-report-wire-step-budget-text

Type: (∷ (→ Any Any))

0x0 library function simulation-report-wire-step-budget-text.

simulation-report-wire-step-index-text

Type: (∷ (→ Any Any))

0x0 library function simulation-report-wire-step-index-text.

simulation-report-wire-message-text

Type: (∷ (→ Any Any))

0x0 library function simulation-report-wire-message-text.

simulation-report-wire-state-snapshot-entries

Type: (∷ (→ Any Any))

0x0 library function simulation-report-wire-state-snapshot-entries.

simulation-scenario-class-nominal

Type: (∷ (→ Unit Any))

0x0 library function simulation-scenario-class-nominal.

simulation-scenario-class-fault-injection

Type: (∷ (→ Unit Any))

0x0 library function simulation-scenario-class-fault-injection.

simulation-scenario-class-replay

Type: (∷ (→ Unit Any))

0x0 library function simulation-scenario-class-replay.

simulation-scenario-class-text

Type: (∷ (→ Any Any))

0x0 library function simulation-scenario-class-text.

parse-simulation-scenario-class-label

Type: (∷ (→ Any Any))

0x0 library function parse-simulation-scenario-class-label.

normalize-simulation-scenario-class-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-simulation-scenario-class-label-or.

normalize-simulation-scenario-class-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-simulation-scenario-class-label-or-default.

simulation-event-label-step

Type: (∷ (→ Unit Any))

0x0 library function simulation-event-label-step.

simulation-event-label-invariant

Type: (∷ (→ Unit Any))

0x0 library function simulation-event-label-invariant.

simulation-event-label-outcome

Type: (∷ (→ Unit Any))

0x0 library function simulation-event-label-outcome.

simulation-event-label-text

Type: (∷ (→ Any Any))

0x0 library function simulation-event-label-text.

parse-simulation-event-label

Type: (∷ (→ Any Any))

0x0 library function parse-simulation-event-label.

normalize-simulation-event-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-simulation-event-label-or.

normalize-simulation-event-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-simulation-event-label-or-default.

normalize-simulation-result-status-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-simulation-result-status-label-or.

normalize-simulation-result-status-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-simulation-result-status-label-or-default.

simulation-taxonomy-additive-change

Type: (∷ (→ Unit Any))

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

simulation-taxonomy-deprecation-change

Type: (∷ (→ Unit Any))

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

simulation-taxonomy-breaking-change

Type: (∷ (→ Unit Any))

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

simulation-taxonomy-change-semver

Type: (∷ (→ Any Any))

0x0 library function simulation-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.