Minga.Protocol.Encode (Minga v0.1.0)

Generated pure protocol encoders.

Generated from docs/protocol_schema.toml by mix protocol.gen. Do not edit by hand.

Each encode_*/1 validates schema-owned bounded fields immediately before emitting them and returns the on-wire iodata for one schema record.

Summary

Functions

encode_agent_todo(model)

encode_annotation(model)

encode_change_summary_entry(model)

encode_completion_item(model)

encode_completion_kind(arg1)

encode_diagnostic_range(model)

encode_document_highlight(model)

encode_edit_timeline_entry(model)

encode_edit_timeline_file(model)

encode_frame_rejection_disposition(arg1)

encode_frame_rejection_reason(arg1)

encode_git_file_status(arg1)

encode_git_repo_state(arg1)

encode_git_status_entry(model)

encode_git_toast(model)

encode_git_toast_action(arg1)

encode_git_toast_level(arg1)

encode_gui_agent_chat_header(model)

encode_gui_agent_context(model)

encode_gui_bottom_panel(model)

encode_gui_breadcrumb(model)

encode_gui_change_summary(model)

encode_gui_completion(model)

encode_gui_cursorline(model)

encode_gui_edit_timeline(model)

encode_gui_extension_overlay(model)

encode_gui_extension_panel(model)

encode_gui_file_tree(model)

encode_gui_float_popup(model)

encode_gui_git_status(model)

encode_gui_gutter_config(model)

encode_gui_gutter_entries(items)

encode_gui_gutter_sep(model)

encode_gui_gutter_window(model)

encode_gui_hover_popup(model)

encode_gui_minibuffer(model)

encode_gui_notifications(model)

encode_gui_picker_action_menu(model)

encode_gui_picker_header(model)

encode_gui_picker_items(items)

encode_gui_picker_load_status(model)

encode_gui_picker_mode_prefix(model)

encode_gui_picker_preview_header(model)

encode_gui_picker_query(model)

encode_gui_search_state(model)

encode_gui_sidebars(model)

encode_gui_signature_help(model)

encode_gui_split_separators(model)

encode_gui_status_bar_cursor(model)

encode_gui_status_bar_diagnostics(model)

encode_gui_status_bar_file(model)

encode_gui_status_bar_git(model)

encode_gui_status_bar_identity(model)

encode_gui_status_bar_indent(model)

encode_gui_status_bar_language(model)

encode_gui_status_bar_message(model)

encode_gui_status_bar_modeline(model)

encode_gui_status_bar_operation(model)

encode_gui_status_bar_pending_keys(model)

encode_gui_status_bar_recording(model)

encode_gui_status_bar_selection(model)

encode_gui_status_bar_workspace(model)

encode_gui_surface_layout_placements(items)

encode_gui_tab_bar(model)

encode_gui_theme(model)

encode_gui_which_key(model)

encode_gui_window_content_annotations(items)

encode_gui_window_content_cursorline(model)

encode_gui_window_content_diagnostic_ranges(items)

encode_gui_window_content_document_highlights(items)

encode_gui_window_content_geometry(model)

encode_gui_window_content_header(model)

encode_gui_window_content_rows(items)

encode_gui_window_content_scroll_presentation(model)

encode_gui_window_content_search_matches(items)

encode_gui_window_content_selection(model)

encode_gui_window_rows_delta_header(model)

encode_gui_window_rows_delta_rows(items)

encode_gui_window_viewport_delta_header(model)

encode_gui_window_viewport_delta_rows(items)

encode_gui_workspaces(model)

encode_gutter_entry(model)

encode_hit_region(model)

encode_modeline_segment(model)

encode_operation_kind(arg1)

encode_operation_status(arg1)

encode_picker_item(model)

encode_rect(model)

encode_resource_policy_dimension(arg1)

encode_row(model)

encode_search_match(model)

encode_span(model)

encode_surface_placement(model)

encode_tab_entry(model)

encode_theme_color(model)

encode_which_key_binding(model)