Skip to main content

RecursionSchemeEval

oxilean_std::functional_programming::types

Struct RecursionSchemeEval 

Source 
pub struct RecursionSchemeEval;
Expand description

RecursionSchemeEval provides catamorphism and anamorphism over RoseTree.

Implementations§

Source§

impl RecursionSchemeEval

Source

pub fn cata<A, B>(tree: RoseTree<A>, alg: &dyn Fn(A, Vec<B>) -> B) -> B

Catamorphism (fold) over a RoseTree.

alg(a, children_results) computes the result at each node.

Source

pub fn ana<A, S: Clone>( seed: S, coalg: &dyn Fn(S) -> (A, Vec<S>), ) -> RoseTree<A>

Anamorphism (unfold) to produce a RoseTree from a seed.

coalg(seed) returns (label, child_seeds).

Source

pub fn hylo<A, B, S: Clone>( seed: S, coalg: &dyn Fn(S) -> (A, Vec<S>), alg: &dyn Fn(A, Vec<B>) -> B, ) -> B

Hylomorphism (unfold then fold) without materializing the intermediate tree.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.