arrow-optics/arrow.optics/PIso/Companion

Companion

Functions

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

create an PIso between any type and itself. Id is the zero element of optics composition, for any optic o of type O (e.g. PLens, Prism, POptional, ...): o compose Iso.id == o

invoke

operator fun <S, T, A, B> invoke(get: (S) -> A, reverseGet: (B) -> T): PIso<S, T, A, B>

Invoke operator overload to create a PIso of type S with target A. Can also be used to construct Iso

listToOptionNel

@JvmStatic

fun <A> listToOptionNel(): Iso<List<A>, Option<NonEmptyList<A>>>

Iso that defines equality between a List and Option

listToPOptionNel

@JvmStatic

fun <A, B> listToPOptionNel(): PIso<List<A>, List, Option<NonEmptyList<A>>, Option<NonEmptyList>>

PIso that defines equality between a List and Option

mapToSet

@JvmStatic

fun <K> mapToSet(): Iso<Map<K, Unit>, Set<K>>

Iso that defines the equality between a Unit value Map and a Set with its keys

nullableToOption

@JvmStatic

fun <A, B> nullableToOption(): PIso<A?, B?, Option<A>, Option>

nullableToPOption

@JvmStatic

fun <A, B> nullableToPOption(): PIso<A?, B?, Option<A>, Option>

PIso that defines the equality between the nullable platform type and Option.

optionToEither

@JvmStatic

fun <A> optionToEither(): Iso<Option<A>, Either<Unit, A>>

Iso that defines the equality between and arrow.core.Option and arrow.core.Either

optionToNullable

@JvmStatic

fun <A> optionToNullable(): Iso<Option<A>, A?>

PIso that defines the isomorphic relationship between Option and the nullable platform type.

optionToPEither

@JvmStatic

fun <A, B> optionToPEither(): PIso<Option<A>, Option, Either<Unit, A>, Either<Unit, B>>

Iso that defines the equality between and arrow.core.Option and arrow.core.Either

optionToPNullable

@JvmStatic

fun <A, B> optionToPNullable(): PIso<Option<A>, Option, A?, B?>

PIso that defines the equality between Option and the nullable platform type.

stringToList

@JvmStatic

fun stringToList(): Iso<String, List<Char>>

Iso that defines equality between String and List of Char