Package com.io7m.cedarbridge.schema.typer.internal

# Interface CBElementCheckerType<T extends CBASTElementType>

Type Parameters:
  `T` - The type of elements

All Known Implementing Classes:
  `CBTypeDeclarationChecker`, `CBTypeExpressionChecker`, `CBTypeProtocolChecker`

public interface CBElementCheckerType<T extends CBASTElementType>
Type checking for various AST elements.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `void`
  `check(CBTyperContextType context, T item)`
  Check the type of an element.

- ## Method Details

  - ### check

    void check(CBTyperContextType context, T item) throws CBTypeCheckFailedException
    Check the type of an element.
    Parameters:
      `context` - The typing context
      `item` - The element
    Throws:
      `CBTypeCheckFailedException` - On type errors