Package arrow. optics
Types
Link copied to clipboard
Link copied to clipboard
OptionalGetter is a type alias for POptionalGetter which fixes the type arguments and restricts the POptionalGetter to monomorphic updates.
Link copied to clipboard
Link copied to clipboard
An OptionalGetter is an optic that allows into a structure and querying an optional focus.
Link copied to clipboard
interface PPrism<S, T, A, B> : POptional<S, T, A, B> , PSetter<S, T, A, B> , POptionalGetter<S, T, A> , PTraversal<S, T, A, B> , PEvery<S, T, A, B>
Content copied to clipboard
A Prism is a loss less invertible optic that can look into a structure and optionally find its focus. Mostly used for finding a focus that is only present under certain conditions i.e. list head Prism
Link copied to clipboard
Traversal is a type alias for PTraversal which fixes the type arguments and restricts the PTraversal to monomorphic updates.
Functions
Link copied to clipboard
fun <S, A> OptionalGetter(getOption: (S) -> Option<A>): OptionalGetter<S, A>
Content copied to clipboard