necoherence - v0.2.1

necoherence/semantic_generation_decode

Types

DecodeFailure

</> 
pub type DecodeFailure {
  DecodeFailure(path: List(String), reason: String)
  ProfileFailure(failure: semantic_types.ProfileFailure)
  UnsupportedSchema(observed: String)
  UnknownField(path: List(String), field: String)
  UnknownTag(path: List(String), tag: String)
  SyntaxFailure(path: List(String), reason: String)
}

Constructors 

  • DecodeFailure(path: List(String), reason: String)
  • ProfileFailure(failure: semantic_types.ProfileFailure)
  • UnsupportedSchema(observed: String)
  • UnknownField(path: List(String), field: String)
  • UnknownTag(path: List(String), tag: String)
  • SyntaxFailure(path: List(String), reason: String)

GenerationComposition

</> 
pub type GenerationComposition {
  GenerationComposition(
    problem: semantic_composition.CompositionInput,
    derivation: semantic_composition.RawComposition,
  )
}

Constructors

Values

decode_acyclic_witness

</> 
pub fn decode_acyclic_witness(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.AcyclicWitness, DecodeFailure)

decode_array_spec

</> 
pub fn decode_array_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.ArraySpec, DecodeFailure)

decode_available_value

</> 
pub fn decode_available_value(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.AvailableValue, DecodeFailure)

decode_binding_compatibility

</> 
pub fn decode_binding_compatibility(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.BindingCompatibility,
  DecodeFailure,
)

decode_binding_expr

</> 
pub fn decode_binding_expr(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.BindingExpr, DecodeFailure)

decode_binding_mode

</> 
pub fn decode_binding_mode(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.BindingMode, DecodeFailure)

decode_boolean_spec

</> 
pub fn decode_boolean_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.BooleanSpec, DecodeFailure)

decode_branch_fact

</> 
pub fn decode_branch_fact(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.BranchFact, DecodeFailure)

decode_branch_trace

</> 
pub fn decode_branch_trace(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.BranchTrace, DecodeFailure)

decode_calendar_rule

</> 
pub fn decode_calendar_rule(
  value: exact_json.JsonValue,
) -> Result(semantic_types.CalendarRule, DecodeFailure)

decode_checked_semantic_profile

</> 
pub fn decode_checked_semantic_profile(
  value: exact_json.JsonValue,
) -> Result(semantic_types.CheckedProfile, DecodeFailure)

decode_choice_coverage

</> 
pub fn decode_choice_coverage(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ChoiceCoverage, DecodeFailure)

decode_choice_skeleton

</> 
pub fn decode_choice_skeleton(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ChoiceSkeleton, DecodeFailure)

decode_closed_search_state

</> 
pub fn decode_closed_search_state(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ClosedSearchState, DecodeFailure)

decode_closure_witness

</> 
pub fn decode_closure_witness(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.ClosureWitness, DecodeFailure)

decode_codepoint_range

</> 
pub fn decode_codepoint_range(
  value: exact_json.JsonValue,
) -> Result(semantic_types.CodepointRange, DecodeFailure)

decode_colored_token

</> 
pub fn decode_colored_token(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.ColoredToken, DecodeFailure)

decode_composition_closure_witness

</> 
pub fn decode_composition_closure_witness(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.CompositionClosureWitness,
  DecodeFailure,
)

decode_composition_effect

</> 
pub fn decode_composition_effect(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.CompositionEffect, DecodeFailure)

decode_composition_input

</> 
pub fn decode_composition_input(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.CompositionInput, DecodeFailure)

decode_composition_plan

</> 
pub fn decode_composition_plan(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.CompositionPlan, DecodeFailure)

decode_composition_witness

</> 
pub fn decode_composition_witness(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.CompositionWitness,
  DecodeFailure,
)

decode_connection_failure

</> 
pub fn decode_connection_failure(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ConnectionFailure, DecodeFailure)

decode_construction_rule

</> 
pub fn decode_construction_rule(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ConstructionRule, DecodeFailure)

decode_counterexample_certificate

</> 
pub fn decode_counterexample_certificate(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.CounterexampleCertificate,
  DecodeFailure,
)

decode_declaration_graph

</> 
pub fn decode_declaration_graph(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.DeclarationGraph, DecodeFailure)

decode_declared_guard

</> 
pub fn decode_declared_guard(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.DeclaredGuard, DecodeFailure)

decode_definition_ref

</> 
pub fn decode_definition_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_types.DefinitionRef, DecodeFailure)

decode_dfa_spec

</> 
pub fn decode_dfa_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.DfaSpec, DecodeFailure)

decode_dfa_transition

</> 
pub fn decode_dfa_transition(
  value: exact_json.JsonValue,
) -> Result(semantic_types.DfaTransition, DecodeFailure)

decode_domain_bound

</> 
pub fn decode_domain_bound(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.DomainBound, DecodeFailure)

decode_effect_point

</> 
pub fn decode_effect_point(
  value: exact_json.JsonValue,
) -> Result(semantic_types.EffectPoint, DecodeFailure)

decode_failure_embedding

</> 
pub fn decode_failure_embedding(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FailureEmbedding, DecodeFailure)

decode_failure_origin

</> 
pub fn decode_failure_origin(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FailureOrigin, DecodeFailure)

decode_field_constraint

</> 
pub fn decode_field_constraint(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FieldConstraint, DecodeFailure)

decode_field_presence

</> 
pub fn decode_field_presence(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FieldPresence, DecodeFailure)

decode_format_binding

</> 
pub fn decode_format_binding(
  value: exact_json.JsonValue,
) -> Result(semantic_types.FormatBinding, DecodeFailure)

decode_format_rule

</> 
pub fn decode_format_rule(
  value: exact_json.JsonValue,
) -> Result(semantic_types.FormatRule, DecodeFailure)

decode_format_use

</> 
pub fn decode_format_use(
  value: exact_json.JsonValue,
) -> Result(semantic_types.FormatUse, DecodeFailure)

decode_function_form

</> 
pub fn decode_function_form(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FunctionForm, DecodeFailure)

decode_function_ref

</> 
pub fn decode_function_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FunctionRef, DecodeFailure)

decode_function_signature

</> 
pub fn decode_function_signature(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.FunctionSignature, DecodeFailure)

decode_generation_composition

</> 
pub fn decode_generation_composition(
  value: exact_json.JsonValue,
) -> Result(GenerationComposition, DecodeFailure)

decode_goal_port

</> 
pub fn decode_goal_port(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.GoalPort, DecodeFailure)

decode_goal_predicate

</> 
pub fn decode_goal_predicate(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.GoalPredicate, DecodeFailure)

decode_goal_spec

</> 
pub fn decode_goal_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.GoalSpec, DecodeFailure)

decode_grapheme_component

</> 
pub fn decode_grapheme_component(
  value: exact_json.JsonValue,
) -> Result(semantic_types.GraphemeComponent, DecodeFailure)

decode_grapheme_property

</> 
pub fn decode_grapheme_property(
  value: exact_json.JsonValue,
) -> Result(semantic_types.GraphemeProperty, DecodeFailure)

decode_grapheme_range

</> 
pub fn decode_grapheme_range(
  value: exact_json.JsonValue,
) -> Result(semantic_types.GraphemeRange, DecodeFailure)

decode_grapheme_rules

</> 
pub fn decode_grapheme_rules(
  value: exact_json.JsonValue,
) -> Result(semantic_types.GraphemeRules, DecodeFailure)

decode_grapheme_source

</> 
pub fn decode_grapheme_source(
  value: exact_json.JsonValue,
) -> Result(semantic_types.GraphemeSource, DecodeFailure)

decode_guard_arm

</> 
pub fn decode_guard_arm(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.GuardArm, DecodeFailure)

decode_guard_kind

</> 
pub fn decode_guard_kind(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.GuardKind, DecodeFailure)

decode_inclusion_certificate

</> 
pub fn decode_inclusion_certificate(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.InclusionCertificate,
  DecodeFailure,
)

decode_inclusion_rule

</> 
pub fn decode_inclusion_rule(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InclusionRule, DecodeFailure)

decode_indic_property

</> 
pub fn decode_indic_property(
  value: exact_json.JsonValue,
) -> Result(semantic_types.IndicProperty, DecodeFailure)

decode_indic_range

</> 
pub fn decode_indic_range(
  value: exact_json.JsonValue,
) -> Result(semantic_types.IndicRange, DecodeFailure)

decode_initial_input

</> 
pub fn decode_initial_input(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InitialInput, DecodeFailure)

decode_initial_source

</> 
pub fn decode_initial_source(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InitialSource, DecodeFailure)

decode_input_binding

</> 
pub fn decode_input_binding(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.InputBinding, DecodeFailure)

decode_input_port

</> 
pub fn decode_input_port(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InputPort, DecodeFailure)

decode_integer_domain

</> 
pub fn decode_integer_domain(
  value: exact_json.JsonValue,
) -> Result(semantic_types.IntegerDomain, DecodeFailure)

decode_integer_spec

</> 
pub fn decode_integer_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.IntegerSpec, DecodeFailure)

decode_invocation_domain

</> 
pub fn decode_invocation_domain(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InvocationDomain, DecodeFailure)

decode_invocation_plan

</> 
pub fn decode_invocation_plan(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InvocationPlan, DecodeFailure)

decode_invocation_site

</> 
pub fn decode_invocation_site(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.InvocationSite, DecodeFailure)

decode_length_spec

</> 
pub fn decode_length_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.LengthSpec, DecodeFailure)

decode_marking

</> 
pub fn decode_marking(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.Marking, DecodeFailure)

decode_missing_supply

</> 
pub fn decode_missing_supply(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.MissingSupply, DecodeFailure)

decode_normalized_resource_binding

</> 
pub fn decode_normalized_resource_binding(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.NormalizedResourceBinding,
  DecodeFailure,
)

decode_occurrence_ref

</> 
pub fn decode_occurrence_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_types.OccurrenceRef, DecodeFailure)

decode_origin

</> 
pub fn decode_origin(
  value: exact_json.JsonValue,
) -> Result(semantic_types.Origin, DecodeFailure)

decode_outcome_contract

</> 
pub fn decode_outcome_contract(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.OutcomeContract, DecodeFailure)

decode_outcome_form

</> 
pub fn decode_outcome_form(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.OutcomeForm, DecodeFailure)

decode_output_port

</> 
pub fn decode_output_port(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.OutputPort, DecodeFailure)

decode_pair_entry

</> 
pub fn decode_pair_entry(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.PairEntry, DecodeFailure)

decode_path_step

</> 
pub fn decode_path_step(
  value: exact_json.JsonValue,
) -> Result(semantic_types.PathStep, DecodeFailure)

decode_permitted_projection

</> 
pub fn decode_permitted_projection(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.PermittedProjection,
  DecodeFailure,
)

decode_plan_node

</> 
pub fn decode_plan_node(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.PlanNode, DecodeFailure)

decode_plan_tree

</> 
pub fn decode_plan_tree(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.PlanTree, DecodeFailure)

decode_producer_ref

</> 
pub fn decode_producer_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ProducerRef, DecodeFailure)

decode_profile_ref

</> 
pub fn decode_profile_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_types.ProfileRef, DecodeFailure)

decode_projection_assumption

</> 
pub fn decode_projection_assumption(
  value: exact_json.JsonValue,
) -> Result(
  semantic_validation.ProjectionAssumption,
  DecodeFailure,
)

decode_projection_certificate

</> 
pub fn decode_projection_certificate(
  value: exact_json.JsonValue,
) -> Result(
  semantic_validation.ProjectionCertificate,
  DecodeFailure,
)

decode_raw_composition

</> 
pub fn decode_raw_composition(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.RawComposition, DecodeFailure)

decode_reachability_witness

</> 
pub fn decode_reachability_witness(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.ReachabilityWitness, DecodeFailure)

decode_resource_binding

</> 
pub fn decode_resource_binding(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceBinding, DecodeFailure)

decode_resource_bounds

</> 
pub fn decode_resource_bounds(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceBounds, DecodeFailure)

decode_resource_correspondence

</> 
pub fn decode_resource_correspondence(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceCorrespondence,
  DecodeFailure,
)

decode_resource_goal

</> 
pub fn decode_resource_goal(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceGoal, DecodeFailure)

decode_resource_identity_constraint

</> 
pub fn decode_resource_identity_constraint(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceIdentityConstraint,
  DecodeFailure,
)

decode_resource_lot

</> 
pub fn decode_resource_lot(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceLot, DecodeFailure)

decode_resource_lot_correspondence

</> 
pub fn decode_resource_lot_correspondence(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceLotCorrespondence,
  DecodeFailure,
)

decode_resource_lot_ref

</> 
pub fn decode_resource_lot_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceLotRef, DecodeFailure)

decode_resource_producer

</> 
pub fn decode_resource_producer(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ResourceProducer, DecodeFailure)

decode_resource_production

</> 
pub fn decode_resource_production(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceProduction,
  DecodeFailure,
)

decode_resource_requirement

</> 
pub fn decode_resource_requirement(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceRequirement,
  DecodeFailure,
)

decode_resource_trace_certificate

</> 
pub fn decode_resource_trace_certificate(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ResourceTraceCertificate,
  DecodeFailure,
)

decode_return_plan

</> 
pub fn decode_return_plan(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ReturnPlan, DecodeFailure)

decode_sealed_leaf

</> 
pub fn decode_sealed_leaf(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SealedLeaf, DecodeFailure)

decode_search_bounds

</> 
pub fn decode_search_bounds(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SearchBounds, DecodeFailure)

decode_search_state

</> 
pub fn decode_search_state(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SearchState, DecodeFailure)

decode_selection_evidence

</> 
pub fn decode_selection_evidence(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SelectionEvidence, DecodeFailure)

decode_selection_policy

</> 
pub fn decode_selection_policy(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SelectionPolicy, DecodeFailure)

decode_semantic_basis

</> 
pub fn decode_semantic_basis(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SemanticBasis, DecodeFailure)

decode_semantic_obligation

</> 
pub fn decode_semantic_obligation(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SemanticObligation, DecodeFailure)

decode_semantic_profile

</> 
pub fn decode_semantic_profile(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SemanticProfile, DecodeFailure)

decode_semantic_reason

</> 
pub fn decode_semantic_reason(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SemanticReason, DecodeFailure)

decode_slot_contract

</> 
pub fn decode_slot_contract(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SlotContract, DecodeFailure)

decode_slot_value

</> 
pub fn decode_slot_value(
  value: exact_json.JsonValue,
) -> Result(
  semantic_types.SlotValue(exact_json.JsonValue),
  DecodeFailure,
)

decode_solver_input

</> 
pub fn decode_solver_input(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.SolverInput, DecodeFailure)

decode_source_constraint

</> 
pub fn decode_source_constraint(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.SourceConstraint, DecodeFailure)

decode_source_identity

</> 
pub fn decode_source_identity(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SourceIdentity, DecodeFailure)

decode_source_ref

</> 
pub fn decode_source_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_types.SourceRef, DecodeFailure)

decode_string_length_unit

</> 
pub fn decode_string_length_unit(
  value: exact_json.JsonValue,
) -> Result(semantic_types.StringLengthUnit, DecodeFailure)

decode_string_spec

</> 
pub fn decode_string_spec(
  value: exact_json.JsonValue,
) -> Result(semantic_types.StringSpec, DecodeFailure)

decode_terminal_assessment

</> 
pub fn decode_terminal_assessment(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.TerminalAssessment,
  DecodeFailure,
)

decode_terminal_coverage

</> 
pub fn decode_terminal_coverage(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.TerminalCoverage, DecodeFailure)

decode_token_kind

</> 
pub fn decode_token_kind(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.TokenKind, DecodeFailure)

decode_trace_step

</> 
pub fn decode_trace_step(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.TraceStep, DecodeFailure)

decode_type_obligation

</> 
pub fn decode_type_obligation(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.TypeObligation, DecodeFailure)

decode_type_obligation_reason

</> 
pub fn decode_type_obligation_reason(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.TypeObligationReason,
  DecodeFailure,
)

decode_type_pair

</> 
pub fn decode_type_pair(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.TypePair, DecodeFailure)

decode_type_ref

</> 
pub fn decode_type_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_types.TypeRef, DecodeFailure)

decode_typed_place

</> 
pub fn decode_typed_place(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.TypedPlace, DecodeFailure)

decode_typed_transition

</> 
pub fn decode_typed_transition(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.TypedTransition, DecodeFailure)

decode_unknown_reason

</> 
pub fn decode_unknown_reason(
  value: exact_json.JsonValue,
) -> Result(typed_mapping.UnknownReason, DecodeFailure)

decode_unresolved_obligation

</> 
pub fn decode_unresolved_obligation(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.UnresolvedObligation,
  DecodeFailure,
)

decode_value_condition

</> 
pub fn decode_value_condition(
  value: exact_json.JsonValue,
) -> Result(semantic_types.ValueCondition, DecodeFailure)

decode_value_correspondence

</> 
pub fn decode_value_correspondence(
  value: exact_json.JsonValue,
) -> Result(
  semantic_composition.ValueCorrespondence,
  DecodeFailure,
)

decode_value_failure

</> 
pub fn decode_value_failure(
  value: exact_json.JsonValue,
) -> Result(semantic_types.ValueFailure, DecodeFailure)

decode_value_ref

</> 
pub fn decode_value_ref(
  value: exact_json.JsonValue,
) -> Result(semantic_composition.ValueRef, DecodeFailure)

encode_array_spec

</> 
pub fn encode_array_spec(
  value: semantic_types.ArraySpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_boolean_spec

</> 
pub fn encode_boolean_spec(
  value: semantic_types.BooleanSpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_calendar_rule

</> 
pub fn encode_calendar_rule(
  value: semantic_types.CalendarRule,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_codepoint_range

</> 
pub fn encode_codepoint_range(
  value: semantic_types.CodepointRange,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_definition_ref

</> 
pub fn encode_definition_ref(
  value: semantic_types.DefinitionRef,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_dfa_spec

</> 
pub fn encode_dfa_spec(
  value: semantic_types.DfaSpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_dfa_transition

</> 
pub fn encode_dfa_transition(
  value: semantic_types.DfaTransition,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_field_constraint

</> 
pub fn encode_field_constraint(
  value: semantic_composition.FieldConstraint,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_field_presence

</> 
pub fn encode_field_presence(
  value: semantic_composition.FieldPresence,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_format_binding

</> 
pub fn encode_format_binding(
  value: semantic_types.FormatBinding,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_format_rule

</> 
pub fn encode_format_rule(
  value: semantic_types.FormatRule,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_format_use

</> 
pub fn encode_format_use(
  value: semantic_types.FormatUse,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_grapheme_property

</> 
pub fn encode_grapheme_property(
  value: semantic_types.GraphemeProperty,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_grapheme_range

</> 
pub fn encode_grapheme_range(
  value: semantic_types.GraphemeRange,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_grapheme_rules

</> 
pub fn encode_grapheme_rules(
  value: semantic_types.GraphemeRules,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_indic_property

</> 
pub fn encode_indic_property(
  value: semantic_types.IndicProperty,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_indic_range

</> 
pub fn encode_indic_range(
  value: semantic_types.IndicRange,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_integer_domain

</> 
pub fn encode_integer_domain(
  value: semantic_types.IntegerDomain,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_integer_spec

</> 
pub fn encode_integer_spec(
  value: semantic_types.IntegerSpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_length_spec

</> 
pub fn encode_length_spec(
  value: semantic_types.LengthSpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_occurrence_ref

</> 
pub fn encode_occurrence_ref(
  value: semantic_types.OccurrenceRef,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_origin

</> 
pub fn encode_origin(
  value: semantic_types.Origin,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_path_step

</> 
pub fn encode_path_step(
  value: semantic_types.PathStep,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_profile_ref

</> 
pub fn encode_profile_ref(
  value: semantic_types.ProfileRef,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_sealed_leaf

</> 
pub fn encode_sealed_leaf(
  value: semantic_types.SealedLeaf,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_semantic_basis

</> 
pub fn encode_semantic_basis(
  value: semantic_composition.SemanticBasis,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_semantic_profile

</> 
pub fn encode_semantic_profile(
  value: semantic_types.SemanticProfile,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_slot_contract

</> 
pub fn encode_slot_contract(
  value: semantic_types.SlotContract,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_slot_value

</> 
pub fn encode_slot_value(
  value: semantic_types.SlotValue(exact_json.JsonValue),
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_source_constraint

</> 
pub fn encode_source_constraint(
  value: semantic_composition.SourceConstraint,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_source_identity

</> 
pub fn encode_source_identity(
  value: semantic_types.SourceIdentity,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_source_ref

</> 
pub fn encode_source_ref(
  value: semantic_types.SourceRef,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_string_length_unit

</> 
pub fn encode_string_length_unit(
  value: semantic_types.StringLengthUnit,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_string_spec

</> 
pub fn encode_string_spec(
  value: semantic_types.StringSpec,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_type_ref

</> 
pub fn encode_type_ref(
  value: semantic_types.TypeRef,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_value_condition

</> 
pub fn encode_value_condition(
  value: semantic_types.ValueCondition,
) -> Result(exact_json.JsonValue, DecodeFailure)

encode_value_failure

</> 
pub fn encode_value_failure(
  value: semantic_types.ValueFailure,
) -> Result(exact_json.JsonValue, DecodeFailure)
✨ Search Document