arrow-optics/arrow.optics/PIso/Companion

Companion

Functions

fun <A1, A2, B1, B2> eitherToPValidated(): PIso<<ERROR CLASS><A1, B1>, <ERROR CLASS><A2, B2>, <ERROR CLASS><A1, B1>, <ERROR CLASS><A2, B2>>

PIso that defines the equality between Either and Validated

eitherToValidated

@JvmStatic

fun <A, B> eitherToValidated(): Iso<<ERROR CLASS><A, B>, <ERROR CLASS><A, B>>

Iso that defines the equality between Either and Validated

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>, <ERROR CLASS><<ERROR CLASS><A>>>

Iso that defines equality between a List and NonEmptyList

listToPOptionNel

@JvmStatic

fun <A, B> listToPOptionNel(): PIso<List<A>, List, <ERROR CLASS><<ERROR CLASS><A>>, <ERROR CLASS><<ERROR CLASS>>>

PIso that defines equality between a List and NonEmptyList

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?, <ERROR CLASS><A>, <ERROR CLASS>>

nullableToPOption

@JvmStatic

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

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

optionToEither

@JvmStatic

fun <A> optionToEither(): Iso<<ERROR CLASS><A>, <ERROR CLASS><Unit, A>>

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

optionToNullable

@JvmStatic

fun <A> optionToNullable(): Iso<<ERROR CLASS><A>, A?>

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

optionToPEither

@JvmStatic

fun <A, B> optionToPEither(): PIso<<ERROR CLASS><A>, <ERROR CLASS>, <ERROR CLASS><Unit, A>, <ERROR CLASS><Unit, B>>

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

optionToPNullable

@JvmStatic

fun <A, B> optionToPNullable(): PIso<<ERROR CLASS><A>, <ERROR CLASS>, 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

validatedToEither

@JvmStatic

fun <A, B> validatedToEither(): Iso<<ERROR CLASS><A, B>, <ERROR CLASS><A, B>>

Iso that defines equality between Validated and Either

validatedToPEither

@JvmStatic

fun <A1, A2, B1, B2> validatedToPEither(): PIso<<ERROR CLASS><A1, B1>, <ERROR CLASS><A2, B2>, <ERROR CLASS><A1, B1>, <ERROR CLASS><A2, B2>>

PIso that defines equality between Validated and Either