Enum Modality

pub enum Modality {
    List(List),
    Discrete(),
    Codiscrete(),
}

Modalities available in a modal double theory.

Variants

List(List)

List modalities, all of which are monads.

Discrete()

Discrete modality, an idempotent comonad.

Codiscrete()

Codiscrete modality, an idempotent monad.

Trait Implementations

impl Clone for Modality

fn clone(&self) -> Modality

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Modality

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

Formats the value using the given formatter.

impl From<List> for Modality

fn from(value: List) -> Self

Converts to this type from the input type.

impl PartialEq for Modality

fn eq(&self, other: &Modality) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Modality

impl Eq for Modality

impl StructuralPartialEq for Modality