necoherence - v0.2.0

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