Companion

Functions

fun <S> codiagonal(): Optional<Either<S, S>, S>

POptional that takes either S or S and strips the choice of S.

fun <S> id(): PIso<S, S, S, S>

operator fun <S, T, A, B> invoke(getOrModify: (S) -> Either<T, A>, set: (S, B) -> T): POptional<S, T, A, B>

Invoke operator overload to create a POptional of type S with focus A. Can also be used to construct Optional

Optional to safely operate on the head of a list

Optional to safely operate on the tail of a list

fun <A, B> void(): Optional<A, B>

POptional that never sees its focus