Struct TraversableData 

pub struct TraversableData {
    pub container_type: String,
    pub traverse_type: String,
    pub is_foldable: bool,
    pub naturality_condition: String,
}

Fields

container_type: String

traverse_type: String

is_foldable: bool

naturality_condition: String

Implementations

impl TraversableData

pub fn list_traversable() -> Self

pub fn map_traversable() -> Self

pub fn laws(&self) -> Vec<String>

pub fn efficient_mapaccum(&self) -> String

Trait Implementations

impl Clone for TraversableData

fn clone(&self) -> TraversableData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraversableData

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

Formats the value using the given formatter.