# Package com.jnape.palatable.lambda.adt.hmap

- Interface Summary
  Interface | Description
  --- | ---
  Schema<Values extends HList> | A lens that focuses on the `heterogeneous list` of values pointed at by one or more `typesafe keys` that must all exist in the same `HMap` to be collectively extracted.
  TypeSafeKey<A,B> | An interface representing a parametrized key for use in `HMap`s.
  TypeSafeKey.Simple<A> | A simplified `TypeSafeKey` that can only view a value of type `A` as an `A`.

- Class Summary
  Class | Description
  --- | ---
  HMap | An immutable heterogeneous mapping from a parametrized type-safe key to any value, supporting a minimal mapping interface.