Trait ConjTy

pub trait ConjTy: Copy + Debug {
    type Flip: ConjTy;

    const CONJ: Conj;

    // Required method
    fn flip(self) -> Self::Flip;
}

Similar to Conj, but determined at compile time instead of runtime.

Required Associated Constants

const CONJ: Conj

The corresponding Conj value.

Required Associated Types

type Flip: ConjTy

The opposing conjugation type.

Required Methods

fn flip(self) -> Self::Flip

Returns an instance of the corresponding conjugation type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ConjTy for NoConj

const CONJ: Conj = Conj::No

type Flip = YesConj

impl ConjTy for YesConj

const CONJ: Conj = Conj::Yes

type Flip = NoConj