necoherence/semantic_validation

Types

DefaultApplication

pub type DefaultApplication {
  DefaultApplication(
    value_path: List(semantic_types.PathStep),
    type_ref: semantic_types.TypeRef,
    origin: semantic_types.OccurrenceRef,
    value: exact_json.JsonValue,
  )
}

Constructors

DefaultApplication(
  value_path: List(semantic_types.PathStep),
  type_ref: semantic_types.TypeRef,
  origin: semantic_types.OccurrenceRef,
  value: exact_json.JsonValue,
)

DefaultedValue

opaque

pub opaque type DefaultedValue

MemberProof

pub type MemberProof {
  MemberProof(children: List(MemberProof))
}

Constructors

MemberProof(children: List(MemberProof))

ProjectionAssumption

pub type ProjectionAssumption {
  Present(path: List(semantic_types.PathStep))
  NonNull(path: List(semantic_types.PathStep))
  Variant(path: List(semantic_types.PathStep), tag: String)
  IndexPresent(path: List(semantic_types.PathStep), index: Int)
}

Constructors

Present(path: List(semantic_types.PathStep))

NonNull(path: List(semantic_types.PathStep))

Variant(path: List(semantic_types.PathStep), tag: String)

IndexPresent(path: List(semantic_types.PathStep), index: Int)

ProjectionCertificate

pub type ProjectionCertificate {
  ProjectionCertificate(
    profile: semantic_types.ProfileRef,
    source_refs: List(semantic_types.SourceRef),
    source: semantic_types.SlotContract,
    path: List(semantic_types.PathStep),
    assumptions: List(ProjectionAssumption),
    destination: semantic_types.SlotContract,
  )
}

Constructors

ProjectionCertificate(
  profile: semantic_types.ProfileRef,
  source_refs: List(semantic_types.SourceRef),
  source: semantic_types.SlotContract,
  path: List(semantic_types.PathStep),
  assumptions: List(ProjectionAssumption),
  destination: semantic_types.SlotContract,
)

ProjectionFailure

pub type ProjectionFailure {
  WrongShape(
    type_ref: semantic_types.TypeRef,
    path: List(semantic_types.PathStep),
  )
  MissingField(type_ref: semantic_types.TypeRef, name: String)
  MissingVariant(type_ref: semantic_types.TypeRef, tag: String)
  BranchAssumptionRequired(
    path: List(semantic_types.PathStep),
    tag: String,
  )
  ProjectionUnresolved(
    obligations: List(semantic_types.SemanticObligation),
  )
  CertificateMismatch(condition: String)
}

Constructors

WrongShape(
  type_ref: semantic_types.TypeRef,
  path: List(semantic_types.PathStep),
)

MissingField(type_ref: semantic_types.TypeRef, name: String)

MissingVariant(type_ref: semantic_types.TypeRef, tag: String)

BranchAssumptionRequired(
  path: List(semantic_types.PathStep),
  tag: String,
)

ProjectionUnresolved(
  obligations: List(semantic_types.SemanticObligation),
)

```
CertificateMismatch(condition: String)
```

ProjectionValueFailure

pub type ProjectionValueFailure {
  Projection(failure: ProjectionFailure)
  Validation(failure: ValidationFailure)
  UnsatisfiedGuard
}

Constructors

```
Projection(failure: ProjectionFailure)
```
```
Validation(failure: ValidationFailure)
```
```
UnsatisfiedGuard
```

ValidatedSlot

opaque

pub opaque type ValidatedSlot

ValidatedValue

opaque

pub opaque type ValidatedValue

ValidationFailure

pub type ValidationFailure {
  Rejected(failure: semantic_types.ValueFailure)
  Unresolved(
    obligations: List(semantic_types.SemanticObligation),
  )
  CertificateMismatchFailure(condition: String)
}

Constructors

Rejected(failure: semantic_types.ValueFailure)

Unresolved(obligations: List(semantic_types.SemanticObligation))

CertificateMismatchFailure(condition: String)

Values

accepts_slot

pub fn accepts_slot(
  graph: semantic_types.SemanticGraph,
  contract: semantic_types.SlotContract,
  value: semantic_types.SlotValue(exact_json.JsonValue),
) -> Bool

accepts_value

pub fn accepts_value(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
) -> Bool

assumption_holds

pub fn assumption_holds(
  tag: option.Option(semantic_types.TagModel),
  value: exact_json.JsonValue,
  assumption: ProjectionAssumption,
) -> Bool

check_default_applications

pub fn check_default_applications(
  graph: semantic_types.SemanticGraph,
  before: exact_json.JsonValue,
  after: exact_json.JsonValue,
  applications: List(DefaultApplication),
) -> Bool

check_meaning_defined

pub fn check_meaning_defined(
  graph: semantic_types.SemanticGraph,
  references: List(semantic_types.TypeRef),
) -> Result(Nil, semantic_types.MeaningFailure)

check_member_certificate

pub fn check_member_certificate(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
  proof: MemberProof,
) -> Result(Nil, ValidationFailure)

check_profile

pub fn check_profile(
  profile: semantic_types.SemanticProfile,
) -> Result(
  semantic_types.CheckedProfile,
  semantic_types.ProfileFailure,
)

check_projection_certificate

pub fn check_projection_certificate(
  graph: semantic_types.SemanticGraph,
  certificate: ProjectionCertificate,
) -> Result(Nil, ProjectionFailure)

declared_value_decision

pub fn declared_value_decision(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
) -> semantic_types.ValueDecision

defaulted_value

pub fn defaulted_value(
  value: DefaultedValue,
) -> exact_json.JsonValue

defaulted_value_applications

pub fn defaulted_value_applications(
  value: DefaultedValue,
) -> List(DefaultApplication)

defaulted_value_graph

pub fn defaulted_value_graph(
  value: DefaultedValue,
) -> semantic_types.SemanticGraph

defaulted_value_type_ref

pub fn defaulted_value_type_ref(
  value: DefaultedValue,
) -> semantic_types.TypeRef

element_allows_null

pub fn element_allows_null(
  graph: semantic_types.SemanticGraph,
  contract: semantic_types.ElementContract,
) -> Bool

grapheme_boundaries

pub fn grapheme_boundaries(
  rules: semantic_types.GraphemeRules,
  text: String,
) -> List(Int)

grapheme_count

pub fn grapheme_count(
  rules: semantic_types.GraphemeRules,
  text: String,
) -> Int

materialize_defaults

pub fn materialize_defaults(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
) -> Result(DefaultedValue, ValidationFailure)

meaning_obligations

pub fn meaning_obligations(
  graph: semantic_types.SemanticGraph,
  references: List(semantic_types.TypeRef),
) -> List(semantic_types.SemanticObligation)

member_certificate

pub fn member_certificate(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
) -> Result(MemberProof, ValidationFailure)

node_meaning_obligations

pub fn node_meaning_obligations(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
) -> List(semantic_types.SemanticObligation)

object_class

pub fn object_class(
  profile: semantic_types.SemanticProfile,
  value: exact_json.JsonValue,
) -> semantic_types.ObjectClass

project_slot

pub fn project_slot(
  graph: semantic_types.SemanticGraph,
  source: semantic_types.SlotContract,
  path: List(semantic_types.PathStep),
  assumptions: List(ProjectionAssumption),
) -> Result(ProjectionCertificate, ProjectionFailure)

project_value

pub fn project_value(
  graph: semantic_types.SemanticGraph,
  certificate: ProjectionCertificate,
  source: semantic_types.SlotValue(exact_json.JsonValue),
) -> Result(ValidatedSlot, ProjectionValueFailure)

recognizes

pub fn recognizes(
  rule: semantic_types.FormatRule,
  text: String,
) -> Bool

validate_slot

pub fn validate_slot(
  graph: semantic_types.SemanticGraph,
  contract: semantic_types.SlotContract,
  value: semantic_types.SlotValue(exact_json.JsonValue),
) -> Result(ValidatedSlot, ValidationFailure)

validate_value

pub fn validate_value(
  graph: semantic_types.SemanticGraph,
  reference: semantic_types.TypeRef,
  value: exact_json.JsonValue,
) -> Result(ValidatedValue, ValidationFailure)

validated_slot_contract

pub fn validated_slot_contract(
  value: ValidatedSlot,
) -> semantic_types.SlotContract

validated_slot_graph

pub fn validated_slot_graph(
  value: ValidatedSlot,
) -> semantic_types.SemanticGraph

validated_slot_value

pub fn validated_slot_value(
  value: ValidatedSlot,
) -> semantic_types.SlotValue(exact_json.JsonValue)

validated_value

pub fn validated_value(
  value: ValidatedValue,
) -> exact_json.JsonValue

validated_value_graph

pub fn validated_value_graph(
  value: ValidatedValue,
) -> semantic_types.SemanticGraph

validated_value_proof

pub fn validated_value_proof(
  value: ValidatedValue,
) -> MemberProof

validated_value_type_ref

pub fn validated_value_type_ref(
  value: ValidatedValue,
) -> semantic_types.TypeRef

value_at_path

pub fn value_at_path(
  tag: option.Option(semantic_types.TagModel),
  value: exact_json.JsonValue,
  path: List(semantic_types.PathStep),
) -> semantic_types.SlotValue(exact_json.JsonValue)

wrapper_payload_text

pub fn wrapper_payload_text(
  profile: semantic_types.SemanticProfile,
  wrapper: semantic_types.Wrapper,
  value: exact_json.JsonValue,
) -> Result(String, semantic_types.ValueCondition)