policy

Use


(↥ "pkg:policy" pkg)

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

Functions

Bootstrap

Type: (∷ (→ Unit Any))

Construct Bootstrap values.

PolicyActionSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyActionSchemaV1 values.

PolicyDecisionAllow

Type: (∷ (→ Unit Any))

Construct PolicyDecisionAllow values.

PolicyDecisionAudit

Type: (∷ (→ Unit Any))

Construct PolicyDecisionAudit values.

PolicyDecisionDeny

Type: (∷ (→ Unit Any))

Construct PolicyDecisionDeny values.

PolicyDecisionEnvelopeV1

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

Construct PolicyDecisionEnvelopeV1 values.

PolicyDecisionEnvelopeWireV1

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

Construct PolicyDecisionEnvelopeWireV1 values.

PolicyDecisionOutcomeV1

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

Construct PolicyDecisionOutcomeV1 values.

PolicyDecisionWaive

Type: (∷ (→ Unit Any))

Construct PolicyDecisionWaive values.

PolicyEffectSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyEffectSchemaV1 values.

PolicyEvaluationV1

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

Construct PolicyEvaluationV1 values.

PolicyFailureContextV1

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

Construct PolicyFailureContextV1 values.

PolicyIdSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyIdSchemaV1 values.

PolicyRationaleSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyRationaleSchemaV1 values.

PolicyResourceSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyResourceSchemaV1 values.

PolicyRuleV1

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

Construct PolicyRuleV1 values.

PolicyScopeSchemaV1

Type: (∷ (→ Any Any))

Construct PolicyScopeSchemaV1 values.

PolicySlotCore

Type: (∷ (→ Unit Any))

Construct PolicySlotCore values.

PolicySlotReserved

Type: (∷ (→ Unit Any))

Construct PolicySlotReserved values.

PolicySlotUnknown

Type: (∷ (→ Unit Any))

Construct PolicySlotUnknown values.

PolicySubjectSchemaV1

Type: (∷ (→ Any Any))

Construct PolicySubjectSchemaV1 values.

PolicyTaxonomyAdditive

Type: (∷ (→ Unit Any))

Construct PolicyTaxonomyAdditive values.

PolicyTaxonomyBreaking

Type: (∷ (→ Unit Any))

Construct PolicyTaxonomyBreaking values.

PolicyTaxonomyDeprecation

Type: (∷ (→ Unit Any))

Construct PolicyTaxonomyDeprecation values.

policy-api-version

Type: (∷ (→ Unit Any))

0x0 library function policy-api-version.

library-name

Type: (∷ (→ Unit Any))

0x0 library function library-name.

build-stage

Type: (∷ (→ Unit Any))

0x0 library function build-stage.

policy-failure-context

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

0x0 library function policy-failure-context.

policy-failure-context-policy-id

Type: (∷ (→ Any Any))

0x0 library function policy-failure-context-policy-id.

policy-failure-context-scope-label

Type: (∷ (→ Any Any))

0x0 library function policy-failure-context-scope-label.

policy-failure-context-action-label

Type: (∷ (→ Any Any))

0x0 library function policy-failure-context-action-label.

policy-failure-context-message-text

Type: (∷ (→ Any Any))

0x0 library function policy-failure-context-message-text.

require-policy-id

Type: (∷ (→ Any Any))

0x0 library function require-policy-id.

require-policy-scope-label

Type: (∷ (→ Any Any))

0x0 library function require-policy-scope-label.

require-policy-subject

Type: (∷ (→ Any Any))

0x0 library function require-policy-subject.

require-policy-resource

Type: (∷ (→ Any Any))

0x0 library function require-policy-resource.

require-policy-action-label

Type: (∷ (→ Any Any))

0x0 library function require-policy-action-label.

require-policy-effect-label

Type: (∷ (→ Any Any))

0x0 library function require-policy-effect-label.

require-policy-message

Type: (∷ (→ Any Any))

0x0 library function require-policy-message.

parse-policy-scope-label

Type: (∷ (→ Any Any))

0x0 library function parse-policy-scope-label.

parse-policy-action-label

Type: (∷ (→ Any Any))

0x0 library function parse-policy-action-label.

parse-policy-effect-label

Type: (∷ (→ Any Any))

0x0 library function parse-policy-effect-label.

resolve-policy-scope-label

Type: (∷ (→ Any Any Any))

0x0 library function resolve-policy-scope-label.

resolve-policy-action-label

Type: (∷ (→ Any Any Any))

0x0 library function resolve-policy-action-label.

resolve-policy-effect-label

Type: (∷ (→ Any Any Any))

0x0 library function resolve-policy-effect-label.

validate-policy-failure-context

Type: (∷ (→ Any Any))

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

policy-failure-error

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

0x0 library function policy-failure-error.

policy-rule

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

0x0 library function policy-rule.

policy-rule-policy-id

Type: (∷ (→ Any Any))

0x0 library function policy-rule-policy-id.

policy-rule-scope-label

Type: (∷ (→ Any Any))

0x0 library function policy-rule-scope-label.

policy-rule-subject

Type: (∷ (→ Any Any))

0x0 library function policy-rule-subject.

policy-rule-resource

Type: (∷ (→ Any Any))

0x0 library function policy-rule-resource.

policy-rule-action-label

Type: (∷ (→ Any Any))

0x0 library function policy-rule-action-label.

policy-rule-effect-label

Type: (∷ (→ Any Any))

0x0 library function policy-rule-effect-label.

policy-rule-failure-context

Type: (∷ (→ Any Any))

0x0 library function policy-rule-failure-context.

validate-policy-rule

Type: (∷ (→ Any Any))

0x0 library function validate-policy-rule.

policy-evaluation

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

0x0 library function policy-evaluation.

policy-evaluation-policy-id

Type: (∷ (→ Any Any))

0x0 library function policy-evaluation-policy-id.

policy-evaluation-effect-label

Type: (∷ (→ Any Any))

0x0 library function policy-evaluation-effect-label.

policy-evaluation-decision-reason

Type: (∷ (→ Any Any))

0x0 library function policy-evaluation-decision-reason.

policy-evaluation-failure-context

Type: (∷ (→ Any Any))

0x0 library function policy-evaluation-failure-context.

validate-policy-evaluation

Type: (∷ (→ Any Any))

0x0 library function validate-policy-evaluation.

policy-id-schema

Type: (∷ (→ Any Any))

0x0 library function policy-id-schema.

policy-id-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-id-schema-text.

policy-scope-schema

Type: (∷ (→ Any Any))

0x0 library function policy-scope-schema.

policy-scope-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-scope-schema-text.

policy-subject-schema

Type: (∷ (→ Any Any))

0x0 library function policy-subject-schema.

policy-subject-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-subject-schema-text.

policy-resource-schema

Type: (∷ (→ Any Any))

0x0 library function policy-resource-schema.

policy-resource-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-resource-schema-text.

policy-action-schema

Type: (∷ (→ Any Any))

0x0 library function policy-action-schema.

policy-action-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-action-schema-text.

policy-effect-schema

Type: (∷ (→ Any Any))

0x0 library function policy-effect-schema.

policy-effect-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-effect-schema-text.

policy-rationale-schema

Type: (∷ (→ Any Any))

0x0 library function policy-rationale-schema.

policy-rationale-schema-text

Type: (∷ (→ Any Any))

0x0 library function policy-rationale-schema-text.

policy-rule-from-schemas

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

0x0 library function policy-rule-from-schemas.

policy-evaluation-from-schemas

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

0x0 library function policy-evaluation-from-schemas.

policy-id-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-id-schema-from-rule.

policy-scope-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-scope-schema-from-rule.

policy-subject-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-subject-schema-from-rule.

policy-resource-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-resource-schema-from-rule.

policy-action-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-action-schema-from-rule.

policy-effect-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-effect-schema-from-rule.

policy-rationale-schema-from-rule

Type: (∷ (→ Any Any))

0x0 library function policy-rationale-schema-from-rule.

policy-id-schema-from-evaluation

Type: (∷ (→ Any Any))

0x0 library function policy-id-schema-from-evaluation.

policy-effect-schema-from-evaluation

Type: (∷ (→ Any Any))

0x0 library function policy-effect-schema-from-evaluation.

policy-rationale-schema-from-evaluation

Type: (∷ (→ Any Any))

0x0 library function policy-rationale-schema-from-evaluation.

policy-decision-allow

Type: (∷ (→ Unit Any))

0x0 library function policy-decision-allow.

policy-decision-deny

Type: (∷ (→ Unit Any))

0x0 library function policy-decision-deny.

policy-decision-audit

Type: (∷ (→ Unit Any))

0x0 library function policy-decision-audit.

policy-decision-waive

Type: (∷ (→ Unit Any))

0x0 library function policy-decision-waive.

policy-decision-text

Type: (∷ (→ Any Any))

0x0 library function policy-decision-text.

parse-policy-decision-label

Type: (∷ (→ Any Any))

0x0 library function parse-policy-decision-label.

policy-decision-from-effect-label

Type: (∷ (→ Any Any))

0x0 library function policy-decision-from-effect-label.

policy-decision-precedence

Type: (∷ (→ Any Any Any))

0x0 library function policy-decision-precedence.

policy-decision-precedence-label

Type: (∷ (→ Any Any Any))

0x0 library function policy-decision-precedence-label.

policy-decision-outcome

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

0x0 library function policy-decision-outcome.

policy-decision-outcome-rule

Type: (∷ (→ Any Any))

0x0 library function policy-decision-outcome-rule.

policy-decision-outcome-evaluation

Type: (∷ (→ Any Any))

0x0 library function policy-decision-outcome-evaluation.

policy-decision-outcome-decision

Type: (∷ (→ Any Any))

0x0 library function policy-decision-outcome-decision.

policy-decision-is-enforced

Type: (∷ (→ Any Any))

0x0 library function policy-decision-is-enforced.

policy-decision-envelope

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

0x0 library function policy-decision-envelope.

policy-decision-envelope-rule

Type: (∷ (→ Any Any))

0x0 library function policy-decision-envelope-rule.

policy-decision-envelope-evaluation

Type: (∷ (→ Any Any))

0x0 library function policy-decision-envelope-evaluation.

policy-decision-envelope-decision

Type: (∷ (→ Any Any))

0x0 library function policy-decision-envelope-decision.

policy-wire-schema-version

Type: (∷ (→ Unit Any))

0x0 library function policy-wire-schema-version.

policy-envelope-wire-field-policy-id

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-policy-id.

policy-envelope-wire-field-scope

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-scope.

policy-envelope-wire-field-subject

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-subject.

policy-envelope-wire-field-resource

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-resource.

policy-envelope-wire-field-action

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-action.

policy-envelope-wire-field-effect

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-effect.

policy-envelope-wire-field-decision

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-decision.

policy-envelope-wire-field-reason

Type: (∷ (→ Unit Any))

0x0 library function policy-envelope-wire-field-reason.

policy-envelope-wire-field-is-required

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-field-is-required.

policy-decision-envelope-to-wire-v1

Type: (∷ (→ Any Any))

0x0 library function policy-decision-envelope-to-wire-v1.

policy-decision-envelope-from-wire-v1

Type: (∷ (→ Any Any))

0x0 library function policy-decision-envelope-from-wire-v1.

policy-envelope-wire-policy-id

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-policy-id.

policy-envelope-wire-scope

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-scope.

policy-envelope-wire-subject

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-subject.

policy-envelope-wire-resource

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-resource.

policy-envelope-wire-action

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-action.

policy-envelope-wire-effect

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-effect.

policy-envelope-wire-decision

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-decision.

policy-envelope-wire-reason

Type: (∷ (→ Any Any))

0x0 library function policy-envelope-wire-reason.

policy-code-slot

Type: (∷ (→ Any Any))

0x0 library function policy-code-slot.

policy-code-slot-text

Type: (∷ (→ Any Any))

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

is-reserved-policy-code

Type: (∷ (→ Any Any))

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

ensure-non-reserved-policy-code

Type: (∷ (→ Any Any))

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

policy-taxonomy-additive-change

Type: (∷ (→ Unit Any))

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

policy-taxonomy-deprecation-change

Type: (∷ (→ Unit Any))

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

policy-taxonomy-breaking-change

Type: (∷ (→ Unit Any))

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

policy-taxonomy-change-semver

Type: (∷ (→ Any Any))

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

normalize-policy-scope-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-policy-scope-label-or.

normalize-policy-scope-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-policy-scope-label-or-default.

normalize-policy-action-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-policy-action-label-or.

normalize-policy-action-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-policy-action-label-or-default.

normalize-policy-effect-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-policy-effect-label-or.

normalize-policy-effect-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-policy-effect-label-or-default.

normalize-policy-decision-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-policy-decision-label-or.

normalize-policy-decision-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-policy-decision-label-or-default.

classify-error-severity

Type: (∷ (→ Any Any))

0x0 library function classify-error-severity.

classify-retry-strategy

Type: (∷ (→ Any Any))

0x0 library function classify-retry-strategy.