com.io7m.jpra.model.types

## Class TRecords

- java.lang.Object
- - com.io7m.jpra.model.types.TRecords

-     public final class TRecords
      extends Object

  Functions over record types.

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Class and Description
    --- | ---
    `static class` | `TRecords.TypeLookupFailed` The type of lookup failures.
    `static class` | `TRecords.TypeLookupSucceeded` The type of successful lookups.
    `static interface` | `TRecords.TypeLookupType` The type of lookup results.

  - ### Method Summary

    All Methods Static Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `static TRecords.TypeLookupType` | `typeForFieldPath(TRecord t, FieldPath p)` Lookup a type based on a field path.

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

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

- - ### Method Detail

    - #### typeForFieldPath

          public static TRecords.TypeLookupType typeForFieldPath(TRecord t,
                                                                 FieldPath p)

      Lookup a type based on a field path.
      Parameters:
        `t` - The starting type
        `p` - The path
      Returns:
        A lookup result

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