Struct ArrowData 

pub struct ArrowData {
    pub arrow_name: String,
    pub arr_type: String,
    pub compose_type: String,
    pub first_type: String,
    pub is_arrowchoice: bool,
    pub is_arrowloop: bool,
}

Fields

arrow_name: String

arr_type: String

compose_type: String

first_type: String

is_arrowchoice: bool

is_arrowloop: bool

Implementations

impl ArrowData

pub fn function_arrow() -> Self

pub fn kleisli_arrow(monad: &str) -> Self

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

pub fn freyd_category_connection(&self) -> String

Trait Implementations

impl Clone for ArrowData

fn clone(&self) -> ArrowData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArrowData

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

Formats the value using the given formatter.