## Uses of Interface
com.io7m.jpra.model.type_declarations.TypeDeclType

- Packages that use TypeDeclType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.resolver | Name resolution.
  com.io7m.jpra.model.statements | Statements.
  com.io7m.jpra.model.type_declarations | Type declarations.

- - ### Uses of TypeDeclType in com.io7m.jpra.compiler.core.checker

    Methods in com.io7m.jpra.compiler.core.checker that return TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `TypeDeclType<IdentifierType,TType>` | JPRACheckerType.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)` Check a type declaration.
    `TypeDeclType<IdentifierType,TType>` | JPRAChecker.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)`

    Methods in com.io7m.jpra.compiler.core.checker with parameters of type TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `TypeDeclType<IdentifierType,TType>` | JPRACheckerType.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)` Check a type declaration.
    `TypeDeclType<IdentifierType,TType>` | JPRAChecker.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)`

  - ### Uses of TypeDeclType in com.io7m.jpra.compiler.core.resolver

    Methods in com.io7m.jpra.compiler.core.resolver that return TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)` Resolve a type declaration.
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)`

    Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `Map<TypeName,TypeDeclType<IdentifierType,Untyped>>` | JPRAResolverType.`resolveGetCurrentTypes()`
    `Map<TypeName,TypeDeclType<IdentifierType,Untyped>>` | JPRAResolver.`resolveGetCurrentTypes()`

    Methods in com.io7m.jpra.compiler.core.resolver with parameters of type TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)` Resolve a type declaration.
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)`

  - ### Uses of TypeDeclType in com.io7m.jpra.model.statements

    Methods in com.io7m.jpra.model.statements with parameters of type TypeDeclType
    Modifier and Type | Method and Description
    --- | ---
    `A` | StatementMatcherType.`matchTypeDecl(TypeDeclType<I,T> s)` Match a type declaration statement.

  - ### Uses of TypeDeclType in com.io7m.jpra.model.type_declarations

    Classes in com.io7m.jpra.model.type_declarations that implement TypeDeclType
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TypeDeclPacked<I,T>` A `packed` type declaration.
    `class` | `TypeDeclRecord<I,T>` A `record` type declaration.

Copyright © 2017 <code@io7m.com> http://io7m.com