Type Alias ModalObType 

pub type ModalObType = ModalType;

An object type in a modal double theory.

Aliased Type

pub struct ModalObType {
    pub arg: QualifiedName,
    pub modalities: Vec<Modality>,
}

Fields

arg: QualifiedName

Argument to which the modalities are applied.

modalities: Vec<Modality>

List of modalities applied (from left to right).

Trait Implementations

impl<'__deriveMoreLifetime> TryFrom<&'__deriveMoreLifetime ObType> for &'__deriveMoreLifetime ModalObType

type Error = TryIntoError<&'__deriveMoreLifetime ObType>

The type returned in the event of a conversion error.

fn try_from( value: &'__deriveMoreLifetime ObType, ) -> Result<Self, TryIntoError<&'__deriveMoreLifetime ObType>>

Performs the conversion.

impl TryFrom<ObType> for ModalObType

type Error = TryIntoError<ObType>

The type returned in the event of a conversion error.

fn try_from(value: ObType) -> Result<Self, TryIntoError<ObType>>

Performs the conversion.