Struct ApplicativeData 

pub struct ApplicativeData {
    pub functor_name: String,
    pub pure_type: String,
    pub ap_type: String,
    pub is_monad: bool,
}

Fields

functor_name: String

pure_type: String

ap_type: String

is_monad: bool

Implementations

impl ApplicativeData

pub fn new(name: &str, pure_ty: &str, ap_ty: &str, monad: bool) -> Self

pub fn maybe_applicative() -> Self

pub fn validation_applicative() -> Self

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

pub fn mcbride_paterson_paper(&self) -> String

Trait Implementations

impl Clone for ApplicativeData

fn clone(&self) -> ApplicativeData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ApplicativeData

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

Formats the value using the given formatter.