arrow-optics-reflect/arrow.optics

Package-level declarations

Properties

val <S, A> KProperty1<S, List<A>>.every: Every<S, A>

val <S, A> (S) -> Iterable<A>.iter: Fold<S, A>

val <S, A> KProperty1<S, A>.lens: Lens<S, A>

Lens that focuses on a field in a data class

val <S, A> (S) -> A.ogetter: Getter<S, A>

Focuses on a given field

val <S, A> KProperty1<S, A?>.optional: Optional<S, A>

Optional that focuses on a nullable field

val <S, K, A> KProperty1<S, Map<K, A>>.values: Every<S, A>

Functions

inline fun <S : Any, A : S> instance(): Prism<S, A>

Focuses on those elements of the specified class

fun <S : Any, A : S> instance(klass: KClass<A>): Prism<S, A>

Focuses on those elements of the specified klass