arrow-optics / arrow.optics / POptionalOf
POptionalOf
typealias ~~POptionalOf~~<S, T, A, B> = Kind4<ForPOptional, S, T, A, B>
Deprecated: Higher Kinded types and their related type classes will no longer be supported after Arrow 0.13.0. Most relevant APIs are now concrete over the data types available as members or top level extension functions
Inheritors
| POptional | Optional is an optic that allows to focus into a structure and querying or copy‘ing an optional focus.interface POptional<S, T, A, B> : POptionalOf<S, T, A, B> |