CAI1TypeMatch

All Superinterfaces:: com.io7m.cedarbridge.runtime.api.CBSerializableType

All Known Implementing Classes:: CAI1TypeMatch.CAI1TypeMatchAllOf, CAI1TypeMatch.CAI1TypeMatchAny, CAI1TypeMatch.CAI1TypeMatchAnyOf

public sealed interface CAI1TypeMatch extends com.io7m.cedarbridge.runtime.api.CBSerializableType permits CAI1TypeMatch.CAI1TypeMatchAny, CAI1TypeMatch.CAI1TypeMatchAnyOf, CAI1TypeMatch.CAI1TypeMatchAllOf

An expression against which item types are matched.

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static final record

CAI1TypeMatch.CAI1TypeMatchAllOf

static final record

CAI1TypeMatch.CAI1TypeMatchAny

static final record

CAI1TypeMatch.CAI1TypeMatchAnyOf
Method Summary

Static Methods

Modifier and Type

Method

Description

static CAI1TypeMatch

deserialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context)

Deserialize a value of type CAI1TypeMatch.

static void

serialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context, CAI1TypeMatch $x)

Serialize a value of type CAI1TypeMatch.

Method Details
- serialize
  
  static void serialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context, CAI1TypeMatch $x) throws IOException
  
  Serialize a value of type CAI1TypeMatch.
  
  Parameters:
  
  $context - The serialization context.
  
  $x - The value to be serialized.
  
  Throws:
  
  IOException
- deserialize
  
  static CAI1TypeMatch deserialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context) throws IOException
  
  Deserialize a value of type CAI1TypeMatch.
  
  Parameters:
  
  $context - The serialization context.
  
  Returns:
  
  A value of type CAI1TypeMatch.
  
  Throws:
  
  IOException