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
lift a PIso to a Functor level
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