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
check if the target satisfies the predicate
check if the target satisfies the predicate
find if the target satisfies the predicate
find if the target satisfies the predicate
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
Iso is a type alias for PIso where
S
=A
andT
=B
:type Iso[S, A] = PIso[S, S, A, A]
An Iso defines an isomorphism between a type S and A:
A PIso allows to lift a function
f: A => B
toS => T
and a functiong: T => S
toB => 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