Docs.rs
alef-0.25.20
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
alef 0.25.20
Opinionated polyglot binding generator for Rust libraries
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
abstract_record_header.jinja
async_task_generic.jinja
async_task_return_type.jinja
bridge_field_free_options.jinja
bridge_field_inject.jinja
bridge_field_json_return.jinja
bridge_field_param_doc.jinja
bridge_field_register.jinja
bridge_field_setup.jinja
bridge_field_unregister.jinja
bytes_result_call.jinja
callback_bytes_param.jinja
callback_header_full.jinja
callback_header_options.jinja
callback_header_primitive.jinja
callback_header_void.jinja
callback_json_deserialize.jinja
callback_json_from_ptr.jinja
callback_primitive_call.jinja
callback_registry_acquire.jinja
callback_result_call.jinja
callback_result_serialize.jinja
callback_string_param.jinja
callback_void_call.jinja
class_header.jinja
client_constructor_pinvoke.jinja
deserialize_json.jinja
dll_import_attr.jinja
doc_comment_block.jinja
doc_line.jinja
doc_line_indented.jinja
enum_custom_converter.jinja
enum_header.jinja
error_dispatch.jinja
error_helper_method.jinja
exception_class.jinja
exception_return.jinja
extern_ptr_from_json.jinja
extern_ptr_to_json.jinja
extern_void_ptr.jinja
ffi_json_extensions.jinja
field_definition.jinja
free_native_handle.jinja
free_native_string.jinja
free_string_ptr.jinja
free_user_data_callback.jinja
indented_arg_async.jinja
indented_arg_sync.jinja
json_converter_attr.jinja
json_derived_type_attr.jinja
json_extension_data_property.jinja
json_from_ptr.jinja
json_polymorphic_attr.jinja
json_property_name_attr.jinja
last_error_context_throw.jinja
last_error_throw.jinja
named_param_enum_optional.jinja
named_param_enum_required.jinja
named_param_handle_from_json.jinja
named_param_handle_from_json_optional.jinja
named_param_handle_pin.jinja
named_param_handle_string.jinja
named_param_json_optional.jinja
named_param_json_serialize.jinja
named_param_teardown_free.jinja
named_param_teardown_gchandle.jinja
named_param_teardown_hglobal.jinja
namespace_decl.jinja
native_arg_line.jinja
native_bytes_len_arg_line.jinja
native_call_start.jinja
native_methods_header.jinja
native_methods_trait_bridges.jinja
native_methods_visitor.jinja
native_to_json_ptr.jinja
node_context.jinja
null_check.jinja
null_result_return.jinja
null_result_throw.jinja
opaque_bytes_result_call.jinja
opaque_class_ctor.jinja
opaque_ctor_call.jinja
opaque_factory_method.jinja
opaque_handle_header.jinja
opaque_method_header.jinja
opaque_safehandle_init.jinja
opaque_static_constructor_error_check.jinja
opaque_static_constructor_handle.jinja
opaque_static_constructor_signature.jinja
opaque_static_constructor_summary.jinja
opaque_streaming_method.jinja
opaque_streaming_static_wrapper.jinja
param_decl_inline_optional.jinja
param_decl_inline_required.jinja
param_decl_optional.jinja
param_decl_required.jinja
param_doc.jinja
pinvoke_bytes_len_param.jinja
pinvoke_param.jinja
plugin_string_callback.jinja
plugin_void_callback.jinja
property_required_init.jinja
property_with_default.jinja
public_method_signature.jinja
record_class_header.jinja
record_from_json_method.jinja
record_json_options.jinja
record_json_return.jinja
record_method_doc.jinja
record_method_signature.jinja
record_native_result.jinja
record_native_result_checked.jinja
record_self_handle.jinja
record_self_handle_checked.jinja
record_self_handle_free.jinja
release_handle_method.jinja
required_value_property.jinja
return_bool_from_int.jinja
return_native_result.jinja
return_opaque_ctor.jinja
return_ptr_as_string.jinja
return_string_utf8.jinja
return_value.jinja
safe_handle_class.jinja
safe_handle_ctor.jinja
safehandle_field.jinja
sealed_class_header.jinja
sealed_union_converter.jinja
service_class_header.jinja
service_configurator_method.jinja
service_constructor.jinja
service_dispose_method.jinja
service_entrypoint_method.jinja
service_handler_trampoline.jinja
service_native_ctor_free.jinja
service_native_methods_header.jinja
service_pinvoke_declaration.jinja
service_registration_method.jinja
service_variant_registration_method.jinja
streaming_adapter_wrapper.jinja
streaming_pinvoke_declaration.jinja
trait_bridge_adapters.csharp.jinja
trait_bridge_class.jinja
trait_bridges_header.jinja
trait_clear_facade.jinja
trait_interface.jinja
trait_register_facade.jinja
trait_registry_class.jinja
trait_unregister_facade.jinja
unit_variant_record.jinja
untagged_union_wrapper.jinja
variant_accessor_property.jinja
variant_accessor_summary.jinja
variant_field_json_named.jinja
variant_field_json_value.jinja
variant_field_tuple.jinja
variant_record_body_header.jinja
variant_record_close.jinja
variant_record_params_header.jinja
visit_result.jinja
visitor_bridge_property.jinja
vtable_method_fn_new.jinja
vtable_slot_assign.jinja
vtable_slot_comment.jinja
vtable_write_intptr.jinja
wrapper_class_header.jinja
1
[property: JsonPropertyName("{{ json_name }}")] {{ cs_type }} {{ cs_name }}{{ comma }}