PIso
An Iso is a loss less invertible optic that defines an isomorphism between a type S and A i.e. a data class and its properties represented by TupleN
A (polymorphic) PIso is useful when setting or modifying a value for a constructed type i.e. PIso
Parameters
Types
Functions
Join two Fold with the same target
Join two Getter with the same focus
Join two POptionalGetter with the same focus
Join two PSetter with the same target
Alias for fold.
Compose a POptionalGetter with a POptionalGetter
Compose a PTraversal with a PTraversal
Find the first element matching the predicate, if one exists.
Get the first target or null
Get the focus of a POptional or return the original value while allowing the type to change if it does not match
Get the focus of an OptionalGetter or null
if the is not there
Check if there is at least one target
Get the last target or null
Get the modified focus of a PIso
Set the focus of a POptional with a value.
Pair two disjoint Getter
Pair two disjoint PIso
Pair two disjoint PLens