package claro.module_system.module_serialization.claro_types

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: TypeProto

• string name = 1

• string defining_module_disambiguator = 2

Used in: compiler_backends.java_source.monomorphization.ipc_protos.ExportedContractImplementation.Procedure, SerializedClaroModule.Procedure, TypeProto

• repeated TypeProto arg_types = 1

• ProcedureBlockingAnnotation annotated_blocking = 2

• repeated int32 optional_annotated_blocking_generic_over_args = 3

• repeated string optional_generic_type_param_names = 4

• repeated RequiredContract required_contracts = 6

Used in: compiler_backends.java_source.monomorphization.ipc_protos.ExportedContractImplementation.Procedure, SerializedClaroModule.Procedure, TypeProto

• repeated TypeProto arg_types = 1

• optional TypeProto output_type = 2

• ProcedureBlockingAnnotation annotated_blocking = 3

• repeated int32 optional_annotated_blocking_generic_over_args = 4

• repeated string optional_generic_type_param_names = 5

• repeated RequiredContract required_contracts = 7

Used in: TypeProto

• optional TypeProto wrapped_type = 1

Used in: TypeProto

• string name = 1

• repeated string generic_type_params = 1

Used in: TypeProto

• string service_name = 1

Used in: TypeProto

• optional HttpServiceType service = 1

Used in: HttpServerType, TypeProto

• string service_name = 1

• string defining_module_disambiguator = 2

Used in: TypeProto

• optional TypeProto elementType = 1

• bool is_mutable = 2

Used in: TypeProto

• optional TypeProto key_type = 1

• optional TypeProto value_type = 2

• bool is_mutable = 3

Used in: TypeProto

• repeated TypeProto variant_types = 1

Used in: TypeProto

• UNKNOWN_PRIMITIVE_TYPE = 0

• INTEGER = 1

• LONG = 6

• FLOAT = 2

• DOUBLE = 7

• STRING = 3

• CHAR = 8

• BOOLEAN = 4

• HTTP_RESPONSE = 5

Used in: ConsumerType, FunctionType, ProviderType

• UNKNOWN_PROCEDURE_BLOCKING_ANNOTATION = 0

• NON_BLOCKING = 1

  E.g. `function foo(...) -> ...;`

• BLOCKING = 2

  E.g. `blocking function foo(...) -> ...;`

• BLOCKING_GENERIC = 3

  E.g. `blocking:arg1|arg2 function foo(arg1: blocking? provider<...>, arg2: blocking? function<...>, ...) -> ...;`

Used in: compiler_backends.java_source.monomorphization.ipc_protos.ExportedContractImplementation.Procedure, SerializedClaroModule.Procedure, TypeProto

• optional TypeProto output_type = 1

• ProcedureBlockingAnnotation annotated_blocking = 2

• repeated string optional_generic_type_param_names = 3

• repeated RequiredContract required_contracts = 5

This message is used by procedure types to represent the disambiguated contracts that are required, and over which generic type params. E.g.: requires(Dep::Foo<T>) function doSmthViaDepFooContract<T,V>(t: T, v: V) -> ...; would use the following RequiredContract message: RequiredContract { name: "Foo", definingModuleDisambiguator: "com$example$some_module", genericTypeParams: ["T"], }

Used in: ConsumerType, FunctionType, ProviderType

• string name = 1

• string defining_module_disambiguator = 2

• repeated string generic_type_params = 3

  This field refers to the generic type params that are listed in the the source file (in the same order). They directly correspond to the generic type param names that will be found in the procedure proto itself.

Used in: TypeProto

• optional TypeProto element_type = 1

• bool is_mutable = 2

Used in: TypeProto

• repeated string field_names = 1

• repeated TypeProto field_types = 2

• bool is_mutable = 3

Used in: TypeProto

• bool is_mutable = 1

• repeated TypeProto parameterizedTypes = 2

• string fullyQualifiedJavaTypeFmtStr = 3

Used in: TypeProto

• bool is_mutable = 1

• optional TypeProto actual_wrapped_type = 2

  This is only tracked in order for codegen to use correct Java type annotations, this should not be exposed to Claro users in order to maintain the "opaque" semantics.

Used in: TypeProto

• repeated TypeProto element_types = 1

• bool is_mutable = 2

Used in: compiler_backends.java_source.monomorphization.ipc_protos.ExportedContractImplementation, compiler_backends.java_source.monomorphization.ipc_protos.MonomorphizationRequest, compiler_backends.java_source.monomorphization.ipc_protos.MonomorphizationRequest.UserDefinedTypeMetadata, SerializedClaroModule.CodegendMonomorphizationsList.CodegendMonomorphization, SerializedClaroModule.ExportedContractImplementation, SerializedClaroModule.ExportedFlagDefinitions.ExportedFlag, SerializedClaroModule.ExportedStaticValue, SerializedClaroModule.ExportedTypeDefinitions, SerializedClaroModule.ExportedTypeDefinitions.NewTypeDef, ConsumerType, FunctionType, FutureType, ListType, MapType, OneofType, ProviderType, SetType, StructType, SyntheticJavaType, SyntheticOpaqueTypeWrappedValueType, TupleType, UserDefinedType

• oneof type

  • PrimitiveType primitive = 1

  • AtomType atom = 2

  • ListType list = 3

  • MapType map = 4

  • SetType set = 5

  • TupleType tuple = 6

  • OneofType oneof = 7

  • StructType struct = 8

  • FutureType future = 9

  • FunctionType function = 10

  • ConsumerType consumer = 11

  • ProviderType provider = 12

  • UserDefinedType user_defined_type = 13

  • GenericTypeParam generic_type_param = 14

  • HttpServiceType http_service = 15

  • HttpClientType http_client = 16

  • HttpServerType http_server = 17

  • SyntheticOpaqueTypeWrappedValueType opaque_wrapped_value_type = 18

  • SyntheticJavaType synthetic_java_type = 19

Used in: compiler_backends.java_source.monomorphization.ipc_protos.MonomorphizationRequest.UserDefinedTypeMetadata, SerializedClaroModule.ExportedTypeDefinitions.NewTypeDef, TypeProto

• string type_name = 1

• string defining_module_disambiguator = 2

• repeated TypeProto parameterized_types = 3