History - com.mojang.datafixers.TypedOptic

Names

com.mojang.datafixers.TypedOptic

Fields

Set<com.google.common.reflect.TypeToken<? extends K1>>: proofBounds

Type<S>: sType

Type<T>: tType

Type<A>: aType

Type: bType

Optic<?, S, T, A, B>: optic

Constructors

(com.google.common.reflect.TypeToken<? extends K1>, Type<S>, Type<T>, Type<A>, Type, Optic<?, S, T, A, B>)

(Set<com.google.common.reflect.TypeToken<? extends K1>>, Type<S>, Type<T>, Type<A>, Type, Optic<?, S, T, A, B>)

Methods

App2<P, S, T> (com.google.common.reflect.TypeToken<Proof2>, App<Proof2, P>, App2<P, A, B>): apply

Optic<?, S, T, A, B> (): optic

Set<com.google.common.reflect.TypeToken<? extends K1>> (): bounds

Type<S> (): sType

Type<T> (): tType

Type<A> (): aType

Type (): bType

<A1, B1> TypedOptic<S, T, A1, B1> (TypedOptic<A, B, A1, B1>): compose

<Proof2 extends K1> Optional<Optic<? super Proof2, S, T, A, B>> (com.google.common.reflect.TypeToken<Proof2>): upCast

<Proof2 extends K1> boolean (Collection<com.google.common.reflect.TypeToken<? extends K1>>, com.google.common.reflect.TypeToken<Proof2>): instanceOf

<S, T> TypedOptic<S, T, S, T> (Type<S>, Type<T>): adapter

<F, G, F2> TypedOptic<Pair<F, G>, Pair<F2, G>, F, F2> (Type<F>, Type<G>, Type<F2>): proj1

<F, G, G2> TypedOptic<Pair<F, G>, Pair<F, G2>, G, G2> (Type<F>, Type<G>, Type<G2>): proj2

<F, G, F2> TypedOptic<Either<F, G>, Either<F2, G>, F, F2> (Type<F>, Type<G>, Type<F2>): inj1

<F, G, G2> TypedOptic<Either<F, G>, Either<F, G2>, G, G2> (Type<F>, Type<G>, Type<G2>): inj2

<K, V, K2> TypedOptic<List<Pair<K, V>>, List<Pair<K2, V>>, K, K2> (Type<K>, Type<K2>, Type<V>): compoundListKeys

<K, V, V2> TypedOptic<List<Pair<K, V>>, List<Pair<K, V2>>, V, V2> (Type<K>, Type<V>, Type<V2>): compoundListElements

<A, B> TypedOptic<List<A>, List, A, B> (Type<A>, Type): list

<K, A, B> TypedOptic<Pair<K, ?>, Pair<K, ?>, A, B> (TaggedChoice$TaggedChoiceType<K>, K, Type<A>, Type): tagged