Struct FromUnit

pub struct FromUnit<A, B> { /* private fields */ }

A Prism to “inject” anything into ().

Implementations

impl<A, B> FromUnit<A, B>

pub fn mk() -> Self

Trait Implementations

impl<A, B> Clone for FromUnit<A, B>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A, B> Debug for FromUnit<A, B>

fn fmt(&self, fm: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A, B> Default for FromUnit<A, B>

fn default() -> Self

Returns the “default value” for a type.

impl<A, B> Lenticuloid for FromUnit<A, B>

type InitialSource = ()

type InitialTarget = A

type FinalSource = ()

type FinalTarget = B

type AtInitial = FromUnit<A, A>

type AtFinal = FromUnit<B, B>

fn at_initial(&self) -> Self::AtInitial

fn at_final(&self) -> Self::AtFinal

impl<A, B> PartialLens for FromUnit<A, B>

fn try_get(&self, v: ()) -> Result<A, ()>

fn try_get_inject(&self, v: ()) -> Result<(A, Injector<'_, B, ()>), ()>

This signature is somewhat hacky; it awaits resolution of the FnBox issue for better design. Notably, the injection function returned by this method will (if law-abiding) only return Some exactly once; every time afterwards, it will return None.

fn set(&self, v: (), _x: B)

fn exchange(&self, _v: (), _x: B) -> (Option<A>, ())

fn modify<F>(&self, v: (), _f: F)

where F: FnOnce(A) -> B,

fn modify_with<F, X>(&self, _v: (), _f: F) -> ((), Option<X>)

where F: FnOnce(A) -> (B, X),

impl<A, B> Prism for FromUnit<A, B>

fn inject(&self, _v: B)

impl<A, B> Copy for FromUnit<A, B>