record IsReview : (Type -> Type -> Type) -> Type- Totality: total
Visibility: public export
Constructor: MkIsReview : (Bifunctor p, (Costrong p, Choice p)) -> IsReview p
Projection: .runIsReview : IsReview p -> (Bifunctor p, (Costrong p, Choice p))
Hint: IsReview p => IsPrism p
.runIsReview : IsReview p -> (Bifunctor p, (Costrong p, Choice p))- Totality: total
Visibility: public export runIsReview : IsReview p -> (Bifunctor p, (Costrong p, Choice p))- Totality: total
Visibility: public export reviewToPrism : IsReview p => IsPrism p- Totality: total
Visibility: export 0 Review : Type -> Type -> Type A review is an optic whose only capability is being flipped into a `Getter`
in the other direction.
Any `Prism` or `Iso` can be used as a review.
Totality: total
Visibility: public exportunto : (a -> s) -> Review s a Construct a review from an injection function.
Analogous to `to` for getters.
Totality: total
Visibility: public exportun : Getter s a -> Review a s Flip a `Getter` to form a `Review`.
Totality: total
Visibility: public exportreviews : Review s a -> (e -> a) -> e -> s Turn an optic around to inject a focus value into the larger data structure
after applying a function to it.
This function takes a `Review`, which can also be a `Prism` or `Iso`.
Totality: total
Visibility: public exportreview : Review s a -> a -> s Turn an optic around to inject a focus value into the larger data structure.
This function takes a `Review`, which can also be a `Prism` or `Iso`.
Totality: total
Visibility: public export(^$) : Review s a -> a -> s Turn an optic around to inject a focus value into the larger data structure.
This function takes a `Review`, which can also be a `Prism` or `Iso`.
This is the operator form of `review`.
Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 8re : Review s a -> Getter a s Flip a `Prism`, `Iso` or `Review` to form a `Getter` in the other direction.
Totality: total
Visibility: public export