Struct Reverse 

pub struct Reverse<'a, InnerP: Profunctor, PointerBrand: ToDynCloneFn, S: 'a, T: 'a, A: 'a, B: 'a> {
    pub run: <FnBrand<PointerBrand> as CloneFn>::Of<'a, <InnerP as Kind_266801a817966495>::Of<'a, B, A>, <InnerP as Kind_266801a817966495>::Of<'a, T, S>>,
}

The Reverse profunctor.

Wraps a function InnerP::Of<'a, B, A> -> InnerP::Of<'a, T, S>, reversing the role of the inner profunctor’s type arguments.

Corresponds to PureScript’s newtype Re p s t a b = Re (p b a -> p t s).

Type Parameters

• 'a: The lifetime of the functions.
• InnerP: The inner profunctor brand whose instances are reversed.
• PointerBrand: The outer cloneable function pointer brand for wrapping the run function.
• S: The fixed source type (outer structure, contravariant).
• T: The fixed target type (outer structure, covariant).
• A: The varying input type (contravariant position).
• B: The varying output type (covariant position).

Fields

run: <FnBrand<PointerBrand> as CloneFn>::Of<'a, <InnerP as Kind_266801a817966495>::Of<'a, B, A>, <InnerP as Kind_266801a817966495>::Of<'a, T, S>>

The wrapped function InnerP::Of<B, A> -> InnerP::Of<T, S>.

Implementations

impl<'a, InnerP: Profunctor, PointerBrand: ToDynCloneFn, S: 'a, T: 'a, A: 'a, B: 'a> Reverse<'a, InnerP, PointerBrand, S, T, A, B>

Type Parameters

• 'a: The lifetime of the functions.
• InnerP: The inner profunctor brand.
• PointerBrand: The outer cloneable function pointer brand.
• S: The fixed source type.
• T: The fixed target type.
• A: The varying input type.
• B: The varying output type.

pub fn new( f: impl 'a + Fn(<InnerP as Kind_266801a817966495>::Of<'a, B, A>) -> <InnerP as Kind_266801a817966495>::Of<'a, T, S>, ) -> Self

Creates a new Reverse instance by wrapping a function.

Type Signature

forall InnerP PointerBrand S T A B. (Profunctor InnerP, ToDynCloneFn PointerBrand) => (InnerP B A -> InnerP T S) -> Reverse InnerP PointerBrand S T A B

Parameters

• f: The function InnerP::Of<B, A> -> InnerP::Of<T, S> to wrap.

Returns

A new instance of the type.

Examples

use fp_library::{
	brands::{
		RcBrand,
		RcFnBrand,
		optics::*,
	},
	types::optics::{
		Reverse,
		Tagged,
	},
};

// Reverse wraps a function from `Tagged<B, A>` to `Tagged<T, S>`.
let rev =
	Reverse::<TaggedBrand, RcBrand, i32, i32, i32, i32>::new(|tagged: Tagged<i32, i32>| {
		Tagged::new(tagged.0 + 1)
	});
assert_eq!((rev.run)(Tagged::new(41)).0, 42);

Trait Implementations

impl<'a, InnerP: Profunctor, PointerBrand: ToDynCloneFn, S: 'a, T: 'a, A: 'a, B: 'a> Clone for Reverse<'a, InnerP, PointerBrand, S, T, A, B>

Type Parameters

• 'a: The lifetime of the functions.
• InnerP: The inner profunctor brand.
• PointerBrand: The outer cloneable function pointer brand.
• S: The fixed source type.
• T: The fixed target type.
• A: The varying input type.
• B: The varying output type.

fn clone(&self) -> Self

Type Signature

forall InnerP PointerBrand S T A B. (Profunctor InnerP, ToDynCloneFn PointerBrand) => &Reverse InnerP PointerBrand S T A B -> Reverse InnerP PointerBrand S T A B

Returns

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

Examples

use fp_library::{
	brands::{
		RcBrand,
		RcFnBrand,
		optics::*,
	},
	types::optics::{
		Reverse,
		Tagged,
	},
};

let rev = Reverse::<TaggedBrand, RcBrand, i32, i32, i32, i32>::new(|t: Tagged<i32, i32>| {
	Tagged::new(t.0)
});
let cloned = rev.clone();
assert_eq!((cloned.run)(Tagged::new(42)).0, 42);

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

Performs copy-assignment from source.

impl<'a, A: 'a, B: 'a, InnerP: Profunctor + 'static, PointerBrand: ToDynCloneFn + 'static, S: 'static, T: 'static> InferableBrand_266801a817966495<'a, ReverseBrand<InnerP, PointerBrand, S, T>, A, B> for Reverse<'a, InnerP, PointerBrand, S, T, A, B>

Generated InferableBrand_266801a817966495 implementation for Reverse < 'a, InnerP, PointerBrand, S, T, A, B > with brand ReverseBrand < InnerP, PointerBrand, S, T >.

type Marker = Val

Dispatch marker: Val for owned types, Ref for references.