Struct canrun::goals::project::Map1

pub struct Map1<A: Unify, B: Unify> { /* private fields */ }

A projection goal that allows deriving one resolved value from the other. Create with map_1.

Trait Implementations

impl<A: Unify, B: Unify> Clone for Map1<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: Unify, B: Unify> Constraint for Map1<A, B>

fn attempt(&self, state: &State) -> Result<ResolveFn, LVarList>

Resolve required variables in a state and resubscribe or request to update the state.

impl<A: Unify, B: Unify> Debug for Map1<A, B>

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

Formats the value using the given formatter.

impl<A: Unify, B: Unify> Goal for Map1<A, B>

fn apply(&self, state: State) -> Option<State>

Apply the Goal to a state, returning Some if the state is still valid, or None.