alias to composeIso
alias to composeIso
alias to composePrism
alias to composePrism
alias to composeLens
alias to composeLens
alias to composeTraversal
alias to composeTraversal
alias to composeOptional
alias to composeOptional
view a PIso as a PTraversal
view a PIso as a PTraversal
compose a PIso with a PTraversal
compose a PIso with a PTraversal
modify polymorphically the target of a PIso with a function
modify polymorphically the target of a PIso with a function
modify polymorphically the target of a PIso with a Functor function
modify polymorphically the target of a PIso with a Functor function
set polymorphically the target of a PIso with a value
set polymorphically the target of a PIso with a value
pair two disjoint PIso
pair two disjoint PIso
A PIso defines an isomorphism between types S, A and B, T:
In addition, if f and g forms an isomorphism between
A
andB
, i.e. iff . g = id
andg . f = id
, then a PIso defines an isomorphism betweenS
andT
:Iso is a type alias for PIso where
S
=A
andT
=B
:type Iso[S, A] = PIso[S, S, A, A]
A PIso is also a valid Getter, Fold, PLens, PPrism, POptional, PTraversal and PSetter
the source of a PIso
the modified source of a PIso
the target of a PIso
the modified target of a PIso
monocle.law.IsoLaws