An AnIso_ is a generalized isomorphism.
An AnIso_ is a complete reversible transformation between two types.
An AnIso_ is an Iso_ with fixed type proptics.internal.Exchange cats.arrow.Profunctor
Value members
Concrete methods
compose this AnIso_ with an AffineTraversal_, having this AnIso_ applied first
compose this AnIso_ with an AffineTraversal_, having this AnIso_ applied first
compose this AnIso_ with an AnAffineTraversal_, having this AnIso_ applied first
compose this AnIso_ with an AnAffineTraversal_, having this AnIso_ applied first
compose this AnIso_ with a Traversal_, having this AnIso_ applied first
compose this AnIso_ with a Traversal_, having this AnIso_ applied first
compose this AnIso_ with an ATraversal_, having this AnIso_ applied first
compose this AnIso_ with an ATraversal_, having this AnIso_ applied first
compose this AnIso_ with an IndexedLens_, having this AnIso_ applied first
compose this AnIso_ with an IndexedLens_, having this AnIso_ applied first
compose this AnIso_ with an AnIndexedLens_, having this AnIso_ applied first
compose this AnIso_ with an AnIndexedLens_, having this AnIso_ applied first
compose this AnIso_ with an IndexedTraversal_, having this AnIso_ applied first
compose this AnIso_ with an IndexedTraversal_, having this AnIso_ applied first
compose this AnIso_ with an IndexedSetter_, having this AnIso_ applied first
compose this AnIso_ with an IndexedSetter_, having this AnIso_ applied first
compose this AnIso_ with an IndexedGetter_, having this AnIso_ applied first
compose this AnIso_ with an IndexedGetter_, having this AnIso_ applied first
compose this AnIso_ with an IndexedFold_, having this AnIso_ applied first
compose this AnIso_ with an IndexedFold_, having this AnIso_ applied first
compose this AnIso_ with an AffineTraversal_, having this AnIso_ applied last
compose this AnIso_ with an AffineTraversal_, having this AnIso_ applied last
compose this AnIso_ with an AnAffineTraversal_, having this AnIso_ applied last
compose this AnIso_ with an AnAffineTraversal_, having this AnIso_ applied last
compose this AnIso_ with a Traversal_, having this AnIso_ applied last
compose this AnIso_ with a Traversal_, having this AnIso_ applied last
compose this AnIso_ with an ATraversal_, having this AnIso_ applied last
compose this AnIso_ with an ATraversal_, having this AnIso_ applied last
compose this AnIso_ with an IndexedLens_, having this AnIso_ applied last
compose this AnIso_ with an IndexedLens_, having this AnIso_ applied last
compose this AnIso_ with an AnIndexedLens_, having this AnIso_ applied last
compose this AnIso_ with an AnIndexedLens_, having this AnIso_ applied last
compose this AnIso_ with an IndexedTraversal_, having this AnIso_ applied last
compose this AnIso_ with an IndexedTraversal_, having this AnIso_ applied last
compose this AnIso_ with an IndexedSetter_, having this AnIso_ applied last
compose this AnIso_ with an IndexedSetter_, having this AnIso_ applied last
compose this AnIso_ with an IndexedGetter_, having this AnIso_ applied last
compose this AnIso_ with an IndexedGetter_, having this AnIso_ applied last
compose this AnIso_ with an IndexedFold_, having this AnIso_ applied last
compose this AnIso_ with an IndexedFold_, having this AnIso_ applied last
lift two Iso_ instances into both arguments of a cats.arrow.Profunctor simultaneously.
lift two Iso_ instances into both arguments of a cats.arrow.Profunctor simultaneously.
the opposite of working over a AnIso_.set is working under an isomorphism
the opposite of working over a AnIso_.set is working under an isomorphism
Inherited methods
test whether the focus of a Getter contains a given value
test whether the focus of a Getter contains a given value
- Inherited from:
- Getter0
test whether a predicate holds for the focus of a Getter
test whether a predicate holds for the focus of a Getter
- Definition Classes
- Getter1 -> Getter0
- Inherited from:
- Getter1
find the first focus of a Getter that satisfies a predicate, if there is any
find the first focus of a Getter that satisfies a predicate, if there is any
- Inherited from:
- Getter1
check if the Getter does not contain a focus
check if the Getter does not contain a focus
- Inherited from:
- Getter0
test whether the focus of a Getter does not contain a given value
test whether the focus of a Getter does not contain a given value
- Inherited from:
- Getter0
test whether a predicate does not hold for the focus of a Getter
test whether a predicate does not hold for the focus of a Getter
- Inherited from:
- Getter0