Struct ReviewPrime 

pub struct ReviewPrime<'a, PointerBrand, S, A>
where
    PointerBrand: UnsizedCoercible,
    S: 'a,
    A: 'a,
{
    pub review_fn: <FnBrand<PointerBrand> as Kind_266801a817966495>::Of<'a, A, S>,
    /* private fields */
}

A concrete review type where types do not change.

Matches PureScript’s Review' s a.

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type.
• S: The type of the structure.
• A: The type of the focus.

Fields

review_fn: <FnBrand<PointerBrand> as Kind_266801a817966495>::Of<'a, A, S>

Function to construct a structure from a focus value.

Implementations

impl<'a, PointerBrand, S, A> ReviewPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible, S: 'a, A: 'a,

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type.
• S: The type of the structure.
• A: The type of the focus.

pub fn new(review: impl 'a + Fn(A) -> S) -> Self

Create a new monomorphic review.

Type Signature

forall PointerBrand S A. UnsizedCoercible PointerBrand => (A -> S) -> ReviewPrime PointerBrand S A

Parameters

• review: The review function.

Returns

A new instance of the type.

Examples

use fp_library::{
	brands::RcBrand,
	types::optics::ReviewPrime,
};

let r: ReviewPrime<RcBrand, Option<i32>, i32> = ReviewPrime::new(Some);
assert_eq!(r.review(42), Some(42));

pub fn review(&self, a: A) -> S

Review a focus value into a structure.

Type Signature

forall PointerBrand S A. UnsizedCoercible PointerBrand => (&ReviewPrime PointerBrand S A, A) -> S

Parameters

• &self: The review instance.
• a: The focus value to review.

Returns

The structure containing the focus value.

Examples

use fp_library::{
	brands::RcBrand,
	types::optics::ReviewPrime,
};

let r: ReviewPrime<RcBrand, Option<i32>, i32> = ReviewPrime::new(Some);
assert_eq!(r.review(42), Some(42));

Trait Implementations

impl<'a, PointerBrand, S, A> Clone for ReviewPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible, S: 'a, A: 'a,

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type.
• S: The type of the structure.
• A: The type of the focus.

fn clone(&self) -> Self

Type Signature

forall PointerBrand S A. UnsizedCoercible PointerBrand => &ReviewPrime PointerBrand S A -> ReviewPrime PointerBrand S A

Returns

A new ReviewPrime instance that is a copy of the original.

Examples

use fp_library::{
	brands::RcBrand,
	types::optics::ReviewPrime,
};

let r: ReviewPrime<RcBrand, Option<i32>, i32> = ReviewPrime::new(Some);
let cloned = r.clone();
assert_eq!(cloned.review(42), Some(42));

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, PointerBrand, S, A> Optic<'a, TaggedBrand, S, S, A, A> for ReviewPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible, S: 'a, A: 'a,

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type.
• S: The type of the structure.
• A: The type of the focus.

fn evaluate( &self, pab: <TaggedBrand as Kind_266801a817966495>::Of<'a, A, A>, ) -> <TaggedBrand as Kind_266801a817966495>::Of<'a, S, S>

Type Signature

forall PointerBrand S A. UnsizedCoercible PointerBrand => (&ReviewPrime PointerBrand S A, Tagged A A) -> Tagged S S

Parameters

• &self: The review instance.
• pab: The profunctor value to transform.

Returns

The transformed profunctor value.

Examples

use fp_library::{
	brands::{
		optics::*,
		*,
	},
	classes::optics::*,
	functions::*,
	types::optics::*,
};

let r: ReviewPrime<RcBrand, Option<i32>, i32> = ReviewPrime::new(Some);
let f = Tagged::new(42);
let reviewed = Optic::<TaggedBrand, _, _, _, _>::evaluate(&r, f);
assert_eq!(reviewed.0, Some(42));

impl<'a, PointerBrand, S, A> ReviewOptic<'a, S, S, A, A> for ReviewPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible, S: 'a, A: 'a,

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type.
• S: The type of the structure.
• A: The type of the focus.

fn evaluate( &self, pab: <TaggedBrand as Kind_266801a817966495>::Of<'a, A, A>, ) -> <TaggedBrand as Kind_266801a817966495>::Of<'a, S, S>

Type Signature

forall PointerBrand S A. UnsizedCoercible PointerBrand => (&ReviewPrime PointerBrand S A, Tagged A A) -> Tagged S S

Parameters

• &self: The review instance.
• pab: The profunctor value to transform.

Returns

The transformed profunctor value.

Examples

use fp_library::{
	brands::{
		optics::*,
		*,
	},
	classes::optics::*,
	functions::*,
	types::optics::*,
};

let r: ReviewPrime<RcBrand, Option<i32>, i32> = ReviewPrime::new(Some);
let f = Tagged::new(42);
let reviewed = ReviewOptic::evaluate(&r, f);
assert_eq!(reviewed.0, Some(42));