com.io7m.jpra.runtime.java

## Class JPRATypeModelType.JPRAVectorType

- java.lang.Object
- - com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType

- All Implemented Interfaces:
    JPRATypeModelType.JPRATypeType
  Direct Known Subclasses:
    JPRATypeModel.JPRAVector
  Enclosing interface:
    JPRATypeModelType

      public abstract static class JPRATypeModelType.JPRAVectorType
      extends Object
      implements JPRATypeModelType.JPRATypeType

  The type of `jpra` `vector` types.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `JPRAVectorType()`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `<A,E extends Exception> A` | `matchType(JPRATypeModelType.JPRATypeMatcherType<A,E> m)`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### JPRAVectorType

          public JPRAVectorType()

  - ### Method Detail

    - #### matchType

          public final <A,E extends Exception> A matchType(JPRATypeModelType.JPRATypeMatcherType<A,E> m)
                                                    throws E extends Exception

      Specified by:
        `matchType` in interface `JPRATypeModelType.JPRATypeType`
      Throws:
        `E extends Exception`

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