Struct FreeMonadInfo 

pub struct FreeMonadInfo {
    pub functor_name: String,
    pub operations: Vec<String>,
    pub description: String,
}

Free monad functor encoding.

Fields

functor_name: String

operations: Vec<String>

description: String

Implementations

impl FreeMonadInfo

pub fn over(functor: &str, ops: Vec<&str>) -> Self

Free monad over a functor F.

pub fn interpreter_description(&self) -> String

Interpretation via fold.

pub fn num_operations(&self) -> usize

Number of operations.

Trait Implementations

impl Clone for FreeMonadInfo

fn clone(&self) -> FreeMonadInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FreeMonadInfo

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

Formats the value using the given formatter.