Trait CheckingState

pub trait CheckingState: Sealed + Debug {
    type ModuleLike: Debug + Serialize;
    type Module: Debug + Serialize;
    type Seq<A: Debug + Serialize>: Debug + Serialize;
    type Decl<D: DeclarationTrait + Resolvable<From = SymbolURI>>: Debug + Serialize;
    type Doc: Debug + Serialize;
    type Sig: Debug + Serialize;
}

Available on crate feature serde only.

Required Associated Types

type ModuleLike: Debug + Serialize

type Module: Debug + Serialize

type Seq<A: Debug + Serialize>: Debug + Serialize

type Decl<D: DeclarationTrait + Resolvable<From = SymbolURI>>: Debug + Serialize

type Doc: Debug + Serialize

type Sig: Debug + Serialize

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 CheckingState for Checked

type ModuleLike = MaybeResolved<ModuleLike>

type Module = MaybeResolved<Module>

type Decl<D: DeclarationTrait + Resolvable<From = SymbolURI>> = MaybeResolved<ContentReference<D>>

type Seq<A: Debug + Serialize> = Box<[A]>

type Doc = MaybeResolved<Document>

type Sig = MaybeResolved<Signature>

impl CheckingState for Unchecked

type ModuleLike = ModuleURI

type Module = ModuleURI

type Decl<D: DeclarationTrait + Resolvable<From = SymbolURI>> = SymbolURI

type Seq<A: Debug + Serialize> = Vec<A>

type Doc = DocumentURI

type Sig = Language