Package com.io7m.cedarbridge.schema.compiled

# Interface CBTypeExpressionType.CBTypeExprApplicationType

All Superinterfaces:
  `CBTypeExpressionType`, `Formattable`

All Known Implementing Classes:
  `CBTypeExpressionApplication`

Enclosing interface:
  `CBTypeExpressionType`

public static non-sealed interface CBTypeExpressionType.CBTypeExprApplicationType extends CBTypeExpressionType
A type application.

- ## Nested Class Summary

  ## Nested classes/interfaces inherited from interface com.io7m.cedarbridge.schema.compiled.CBTypeExpressionType

  `CBTypeExpressionType.CBTypeExprApplicationType, CBTypeExpressionType.CBTypeExprNamedType, CBTypeExpressionType.CBTypeExprParameterType`

- ## Method Summary

  Modifier and Type
  Method
  Description
  `List<CBTypeExpressionType>`
  `arguments()`
  `default boolean`
  `contains(CBTypeParameterType parameter)`
  Determine if the given type parameter occurs in the type expression.
  `default void`
  `formatTo(Formatter formatter, int flags, int width, int precision)`
  `CBTypeExpressionType.CBTypeExprNamedType`
  `target()`

- ## Method Details

  - ### target

    CBTypeExpressionType.CBTypeExprNamedType target()
    Returns:
      The target type

  - ### arguments

    List<CBTypeExpressionType> arguments()
    Returns:
      The type expression arguments

  - ### contains

    default boolean contains(CBTypeParameterType parameter)
    Description copied from interface: `CBTypeExpressionType`
    Determine if the given type parameter occurs in the type expression.
    Specified by:
      `contains` in interface `CBTypeExpressionType`
    Parameters:
      `parameter` - The type parameter
    Returns:
      `true` if `parameter` occurs in this expression

  - ### formatTo

    default void formatTo(Formatter formatter, int flags, int width, int precision)
    Specified by:
      `formatTo` in interface `Formattable`