Struct GetterPrime 

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

A concrete getter type where types do not change.

Matches PureScript’s Getter' 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

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

Function to view the focus of the getter in a structure.

Implementations

impl<'a, PointerBrand, S, A> GetterPrime<'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(view: impl 'a + Fn(S) -> A) -> Self

Create a new monomorphic getter from a view function.

Type Signature

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

Parameters

• view: The view function.

Returns

A new instance of the type.

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
assert_eq!(g.view((42, "hi".to_string())), 42);

pub fn view(&self, s: S) -> A

View the focus of the getter in a structure.

Type Signature

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

Parameters

• &self: The getter instance.
• s: The structure to view.

Returns

The focus value.

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
assert_eq!(g.view((42, "hi".to_string())), 42);

Trait Implementations

impl<'a, PointerBrand, S, A> Clone for GetterPrime<'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 => &GetterPrime PointerBrand S A -> GetterPrime PointerBrand S A

Returns

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

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
let cloned = g.clone();
assert_eq!(cloned.view((42, "hi".to_string())), 42);

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

Performs copy-assignment from source.

impl<'a, PointerBrand, S: 'a, A: 'a> FoldOptic<'a, S, A> for GetterPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible,

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<R: 'a + Monoid + 'static, Q: UnsizedCoercible + 'static>( &self, pab: <ForgetBrand<Q, R> as Kind_266801a817966495>::Of<'a, A, A>, ) -> <ForgetBrand<Q, R> as Kind_266801a817966495>::Of<'a, S, S>

Type Signature

forall PointerBrand S A R Q. (Monoid R, UnsizedCoercible Q, UnsizedCoercible PointerBrand) => (&GetterPrime PointerBrand S A, Forget Q R A A) -> Forget Q R S S

Type Parameters

• R: The monoid type.
• Q: The reference-counted pointer type for the Forget brand.

Parameters

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

Returns

The transformed profunctor value.

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
let f = Forget::<RcBrand, String, i32, i32>::new(|x: i32| x.to_string());
let folded: Forget<RcBrand, String, (i32, String), (i32, String)> = FoldOptic::evaluate(&g, f);
assert_eq!(folded.run((42, "hi".to_string())), "42".to_string());

impl<'a, PointerBrand, S: 'a, A: 'a> GetterOptic<'a, S, A> for GetterPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible,

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<R: 'a + 'static, Q: UnsizedCoercible + 'static>( &self, pab: <ForgetBrand<Q, R> as Kind_266801a817966495>::Of<'a, A, A>, ) -> <ForgetBrand<Q, R> as Kind_266801a817966495>::Of<'a, S, S>

Type Signature

forall PointerBrand S A R Q. (UnsizedCoercible Q, UnsizedCoercible PointerBrand) => (&GetterPrime PointerBrand S A, Forget Q R A A) -> Forget Q R S S

Type Parameters

• R: The return type of the forget profunctor.
• Q: The reference-counted pointer type.

Parameters

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

Returns

The transformed profunctor value.

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
let f = Forget::<RcBrand, i32, i32, i32>::new(|x| x);
let folded = GetterOptic::evaluate(&g, f);
assert_eq!(folded.run((42, "hi".to_string())), 42);

impl<'a, PointerBrand, S, A, R, Q> Optic<'a, ForgetBrand<Q, R>, S, S, A, A> for GetterPrime<'a, PointerBrand, S, A>

where PointerBrand: UnsizedCoercible, Q: UnsizedCoercible + 'static, S: 'a, A: 'a, R: 'a + 'static,

Type Parameters

• 'a: The lifetime of the values.
• PointerBrand: The reference-counted pointer type for the getter.
• S: The type of the structure.
• A: The type of the focus.
• R: The return type of the forget profunctor.
• Q: The reference-counted pointer type for the forget brand.

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

Type Signature

forall PointerBrand S A R Q. (UnsizedCoercible PointerBrand, UnsizedCoercible Q) => (&GetterPrime PointerBrand S A R Q, Forget Q R A A) -> Forget Q R S S

Parameters

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

Returns

The transformed profunctor value.

Examples

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

let g: GetterPrime<RcBrand, (i32, String), i32> = GetterPrime::new(|(x, _)| x);
let f = Forget::<RcBrand, i32, i32, i32>::new(|x| x);
let folded = Optic::<ForgetBrand<RcBrand, i32>, _, _, _, _>::evaluate(&g, f);
assert_eq!(folded.run((42, "hi".to_string())), 42);