Package com.io7m.cedarbridge.schema.compiled

# Interface CBTypeExpressionType

All Superinterfaces:
  `Formattable`

All Known Subinterfaces:
  `CBTypeExpressionType.CBTypeExprApplicationType`, `CBTypeExpressionType.CBTypeExprNamedType`, `CBTypeExpressionType.CBTypeExprParameterType`

All Known Implementing Classes:
  `CBTypeExpressionApplication`, `CBTypeExpressionNamed`, `CBTypeExpressionParameter`

public sealed interface CBTypeExpressionType extends Formattable permits CBTypeExpressionType.CBTypeExprNamedType, CBTypeExpressionType.CBTypeExprParameterType, CBTypeExpressionType.CBTypeExprApplicationType
The type of type expressions.

- ## Nested Class Summary

  Nested Classes
  Modifier and Type
  Interface
  Description
  `static interface`
  `CBTypeExpressionType.CBTypeExprApplicationType`
  A type application.
  `static interface`
  `CBTypeExpressionType.CBTypeExprNamedType`
  A named type.
  `static interface`
  `CBTypeExpressionType.CBTypeExprParameterType`
  A type parameter expression.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `boolean`
  `contains(CBTypeParameterType parameter)`
  Determine if the given type parameter occurs in the type expression.

  ### Methods inherited from interface java.util.Formattable

  `formatTo`

- ## Method Details

  - ### contains

    boolean contains(CBTypeParameterType parameter)
    Determine if the given type parameter occurs in the type expression.
    Parameters:
      `parameter` - The type parameter
    Returns:
      `true` if `parameter` occurs in this expression