Uses of Interface
com.jnape.palatable.lambda.adt.hmap.TypeSafeKey

Packages that use TypeSafeKey

Package	Description
com.jnape.palatable.lambda.adt.hmap
com.jnape.palatable.lambda.monoid.builtin
com.jnape.palatable.lambda.optics.lenses

Uses of TypeSafeKey in com.jnape.palatable.lambda.adt.hmap

Subinterfaces of TypeSafeKey in com.jnape.palatable.lambda.adt.hmap

Modifier and Type	Interface	Description
static interface	TypeSafeKey.Simple<A>	A simplified TypeSafeKey that can only view a value of type A as an A.

Fields in com.jnape.palatable.lambda.adt.hmap with type parameters of type TypeSafeKey

Modifier and Type	Field	Description
private final Map<TypeSafeKey<?,?>,Object>	HMap.table

Methods in com.jnape.palatable.lambda.adt.hmap that return TypeSafeKey

Modifier and Type	Method	Description
default <C> TypeSafeKey<A,C>	TypeSafeKey.andThen(Iso.Simple<B,C> f)	Left-to-right composition of this TypeSafeKey with some other Iso.
default <U> TypeSafeKey<A,B>	TypeSafeKey.discardR(Applicative<U,Iso<A,?,B,B>> appB)

Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type TypeSafeKey

Modifier and Type	Method	Description
Iterator<Tuple2<TypeSafeKey<?,?>,Object>>	HMap.iterator()
Set<TypeSafeKey<?,?>>	HMap.keys()	Retrieve all the mapped keys.
Map<TypeSafeKey<?,?>,Object>	HMap.toMap()	Return a standard Map view of the current snapshot of this HMap.

Methods in com.jnape.palatable.lambda.adt.hmap with parameters of type TypeSafeKey

Modifier and Type	Method	Description
default <A, NewValues extends HList.HCons<A, Values>> Schema<NewValues>	Schema.add(TypeSafeKey<?,A> key)	Add a new TypeSafeKey to the head of this Schema.
boolean	HMap.containsKey(TypeSafeKey<?,?> key)	Determine if a key is mapped.
<V> V	HMap.demand(TypeSafeKey<?,V> key)	Retrieve the value at this key, throwing a NoSuchElementException if this key is unmapped.
<A, B> Maybe<B>	HMap.get(TypeSafeKey<A,B> key)	Retrieve the value at this key.
static <V1, V2> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2)	Static factory method for creating an HMap from two given associations.
static <V1, V2, V3> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3)	Static factory method for creating an HMap from three given associations.
static <V1, V2, V3, V4> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3, TypeSafeKey<?,V4> key4, V4 value4)	Static factory method for creating an HMap from four given associations.
static <V1, V2, V3, V4, V5> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3, TypeSafeKey<?,V4> key4, V4 value4, TypeSafeKey<?,V5> key5, V5 value5)	Static factory method for creating an HMap from five given associations.
static <V1, V2, V3, V4, V5, V6> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3, TypeSafeKey<?,V4> key4, V4 value4, TypeSafeKey<?,V5> key5, V5 value5, TypeSafeKey<?,V6> key6, V6 value6)	Static factory method for creating an HMap from six given associations.
static <V1, V2, V3, V4, V5, V6, V7> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3, TypeSafeKey<?,V4> key4, V4 value4, TypeSafeKey<?,V5> key5, V5 value5, TypeSafeKey<?,V6> key6, V6 value6, TypeSafeKey<?,V7> key7, V7 value7)	Static factory method for creating an HMap from seven given associations.
static <V1, V2, V3, V4, V5, V6, V7, V8> HMap	HMap.hMap(TypeSafeKey<?,V1> key1, V1 value1, TypeSafeKey<?,V2> key2, V2 value2, TypeSafeKey<?,V3> key3, V3 value3, TypeSafeKey<?,V4> key4, V4 value4, TypeSafeKey<?,V5> key5, V5 value5, TypeSafeKey<?,V6> key6, V6 value6, TypeSafeKey<?,V7> key7, V7 value7, TypeSafeKey<?,V8> key8, V8 value8)	Static factory method for creating an HMap from eight given associations.
<V> HMap	HMap.put(TypeSafeKey<?,V> key, V value)	Store a value for the given key.
HMap	HMap.remove(TypeSafeKey<?,?> key)	Remove a mapping from this HMap.
static <A> Schema<SingletonHList<A>>	Schema.schema(TypeSafeKey<?,A> key)	Create a Schema from a single TypeSafeKey.
static <A, B> Schema<Tuple2<A,B>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey)	Create a Schema from two TypeSafeKeys.
static <A, B, C> Schema<Tuple3<A,B,C>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey)	Create a Schema from three TypeSafeKeys.
static <A, B, C, D> Schema<Tuple4<A,B,C,D>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey, TypeSafeKey<?,D> dKey)	Create a Schema from four TypeSafeKeys.
static <A, B, C, D, E> Schema<Tuple5<A,B,C,D,E>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey, TypeSafeKey<?,D> dKey, TypeSafeKey<?,E> eKey)	Create a Schema from five TypeSafeKeys.
static <A, B, C, D, E, F> Schema<Tuple6<A,B,C,D,E,F>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey, TypeSafeKey<?,D> dKey, TypeSafeKey<?,E> eKey, TypeSafeKey<?,F> fKey)	Create a Schema from six TypeSafeKeys.
static <A, B, C, D, E, F, G> Schema<Tuple7<A,B,C,D,E,F,G>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey, TypeSafeKey<?,D> dKey, TypeSafeKey<?,E> eKey, TypeSafeKey<?,F> fKey, TypeSafeKey<?,G> gKey)	Create a Schema from seven TypeSafeKeys.
static <A, B, C, D, E, F, G, H> Schema<Tuple8<A,B,C,D,E,F,G,H>>	Schema.schema(TypeSafeKey<?,A> aKey, TypeSafeKey<?,B> bKey, TypeSafeKey<?,C> cKey, TypeSafeKey<?,D> dKey, TypeSafeKey<?,E> eKey, TypeSafeKey<?,F> fKey, TypeSafeKey<?,G> gKey, TypeSafeKey<?,H> hKey)	Create a Schema from eight TypeSafeKeys.
static <V> HMap	HMap.singletonHMap(TypeSafeKey<?,V> key, V value)	Static factory method for creating a singleton HMap.

Method parameters in com.jnape.palatable.lambda.adt.hmap with type arguments of type TypeSafeKey

Modifier and Type	Method	Description
private HMap	HMap.alter(Consumer<Map<TypeSafeKey<?,?>,Object>> alterFn)

Constructor parameters in com.jnape.palatable.lambda.adt.hmap with type arguments of type TypeSafeKey

Modifier	Constructor	Description
private	HMap(Map<TypeSafeKey<?,?>,Object> table)

Uses of TypeSafeKey in com.jnape.palatable.lambda.monoid.builtin

Fields in com.jnape.palatable.lambda.monoid.builtin with type parameters of type TypeSafeKey

Modifier and Type	Field	Description
private final Map<TypeSafeKey<?,?>,Fn2<HMap,HMap,HMap>>	MergeHMaps.bindings

Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type TypeSafeKey

Modifier and Type	Method	Description
<A> R	MergeHMaps.Φ.eliminate(TypeSafeKey<?,A> key)
<A> MergeHMaps	MergeHMaps.key(TypeSafeKey<?,A> key, Semigroup<A> semigroup)
private static <A> Fn2<HMap,HMap,HMap>	MergeHMaps.merge(TypeSafeKey<?,A> key, Semigroup<Maybe<A>> semigroup)

Constructor parameters in com.jnape.palatable.lambda.monoid.builtin with type arguments of type TypeSafeKey

Modifier	Constructor	Description
private	MergeHMaps(Map<TypeSafeKey<?,?>,Fn2<HMap,HMap,HMap>> bindings, MergeHMaps.Φ<Fn2<HMap,HMap,HMap>> defaultBinding)

Uses of TypeSafeKey in com.jnape.palatable.lambda.optics.lenses

Methods in com.jnape.palatable.lambda.optics.lenses with parameters of type TypeSafeKey

Modifier and Type	Method	Description
static <A> Lens.Simple<HMap,Maybe<A>>	HMapLens.valueAt(TypeSafeKey<?,A> key)	A lens that focuses on a value at a TypeSafeKey.Simple<A> in an HMap, as a Maybe.