Enum OpenFTMLElement

Source

pub enum OpenFTMLElement {
Show 52 variants    Invisible,
    SetSectionLevel(SectionLevel),
    ImportModule(ModuleURI),
    UseModule(ModuleURI),
    Slide(DocumentElementURI),
    SlideNumber,
    ProofBody,
    Module {
        uri: ModuleURI,
        meta: Option<ModuleURI>,
        signature: Option<Language>,
    },
    MathStructure {
        uri: SymbolURI,
        macroname: Option<Box<str>>,
    },
    Morphism {
        uri: SymbolURI,
        domain: ModuleURI,
        total: bool,
    },
    Assign(SymbolURI),
    Section {
        lvl: SectionLevel,
        uri: DocumentElementURI,
    },
    SkipSection,
    Paragraph {
        uri: DocumentElementURI,
        kind: ParagraphKind,
        formatting: ParagraphFormatting,
        styles: Box<[Name]>,
    },
    Problem {
        uri: DocumentElementURI,
        styles: Box<[Name]>,
        autogradable: bool,
        points: Option<f32>,
        sub_problem: bool,
    },
    Doctitle,
    Title,
    ProofTitle,
    SubproofTitle,
    Symdecl {
        uri: SymbolURI,
        arity: ArgSpec,
        macroname: Option<Box<str>>,
        role: Box<[Box<str>]>,
        assoctype: Option<AssocType>,
        reordering: Option<Box<str>>,
    },
    Vardecl {
        uri: DocumentElementURI,
        arity: ArgSpec,
        bind: bool,
        macroname: Option<Box<str>>,
        role: Box<[Box<str>]>,
        assoctype: Option<AssocType>,
        reordering: Option<Box<str>>,
        is_seq: bool,
    },
    Notation {
        id: Box<str>,
        symbol: VarOrSym,
        precedence: isize,
        argprecs: SmallVec<isize, 9>,
    },
    NotationComp,
    NotationOpComp,
    Definiendum(SymbolURI),
    Type,
    Conclusion {
        uri: SymbolURI,
        in_term: bool,
    },
    Definiens {
        uri: Option<SymbolURI>,
        in_term: bool,
    },
    OpenTerm {
        term: OpenTerm,
        is_top: bool,
    },
    ClosedTerm(Term),
    MMTRule(Box<str>),
    ArgSep,
    ArgMap,
    ArgMapSep,
    HeadTerm,
    ProblemHint,
    ProblemSolution(Option<Box<str>>),
    ProblemGradingNote,
    AnswerClass,
    AnswerClassFeedback,
    ChoiceBlock {
        multiple: bool,
        inline: bool,
    },
    ProblemChoice,
    ProblemChoiceVerdict,
    ProblemChoiceFeedback,
    Fillinsol(Option<f32>),
    FillinsolCase,
    Inputref {
        uri: DocumentURI,
        id: Box<str>,
    },
    IfInputref(bool),
    Comp,
    MainComp,
    DefComp,
    Arg(OpenArg),
}

Variants§

§

Module

Fields

§uri: ModuleURI

§meta: Option<ModuleURI>

§signature: Option<Language>

§

MathStructure

Fields

§uri: SymbolURI

§macroname: Option<Box<str>>

§

Morphism

Fields

§uri: SymbolURI

§domain: ModuleURI

§total: bool

§

Assign(SymbolURI)

§

Section

Fields

§lvl: SectionLevel

§uri: DocumentElementURI

§

SkipSection

§

Paragraph

Fields

§uri: DocumentElementURI

§kind: ParagraphKind

§formatting: ParagraphFormatting

§styles: Box<[Name]>

§

Problem

Fields

§uri: DocumentElementURI

§styles: Box<[Name]>

§autogradable: bool

§points: Option<f32>

§sub_problem: bool

§

Doctitle

§

Title

§

ProofTitle

§

SubproofTitle

§

Symdecl

Fields

§uri: SymbolURI

§arity: ArgSpec

§macroname: Option<Box<str>>

§role: Box<[Box<str>]>

§assoctype: Option<AssocType>

§reordering: Option<Box<str>>

§

Vardecl

Fields

§uri: DocumentElementURI

§arity: ArgSpec

§bind: bool

§macroname: Option<Box<str>>

§role: Box<[Box<str>]>

§assoctype: Option<AssocType>

§reordering: Option<Box<str>>

§is_seq: bool

§

Notation

Fields

§id: Box<str>

§symbol: VarOrSym

§precedence: isize

§argprecs: SmallVec<isize, 9>

§

NotationComp

§

NotationOpComp

§

Definiendum(SymbolURI)

§

Type

§

Conclusion

Fields

§uri: SymbolURI

§in_term: bool

§

Definiens

Fields

§uri: Option<SymbolURI>

§in_term: bool

§

OpenTerm

Fields

§term: OpenTerm

§is_top: bool

§

ClosedTerm(Term)

§

MMTRule(Box<str>)

§

ArgSep

§

ArgMap

§

ArgMapSep

§

HeadTerm

§

ProblemHint

§

ProblemSolution(Option<Box<str>>)

§

ProblemGradingNote

§

AnswerClass

§

AnswerClassFeedback

§

ChoiceBlock

Fields

§multiple: bool

§inline: bool

§

ProblemChoice

§

ProblemChoiceVerdict

§

ProblemChoiceFeedback

§

Fillinsol(Option<f32>)

§

FillinsolCase

§

Inputref

Fields

§uri: DocumentURI

§id: Box<str>

§

IfInputref(bool)

§

Comp

§

MainComp

§

DefComp

§

Arg(OpenArg)

Implementations§

Source §

impl OpenFTMLElement

Source

pub(crate) fn close<E: FTMLExtractor, N: FTMLNode>( self, previous: &mut FTMLElements, next: &mut FTMLElements, extractor: &mut E, node: &N, ) -> Option<Self>

Source

fn as_term<N: FTMLNode>(next: &mut FTMLElements, node: &N) -> Term

Source

fn close_importmodule<E: FTMLExtractor>(extractor: &mut E, uri: ModuleURI)

Source

fn close_usemodule<E: FTMLExtractor>(extractor: &mut E, uri: ModuleURI)

Source

fn close_module<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, uri: ModuleURI, meta: Option<ModuleURI>, signature: Option<Language>, )

Source

fn close_structure<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, uri: SymbolURI, macroname: Option<Box<str>>, )

Source

fn close_morphism<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, uri: SymbolURI, domain: ModuleURI, total: bool, )

Source

fn close_section<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, lvl: SectionLevel, uri: DocumentElementURI, )

Source

fn close_paragraph<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, kind: ParagraphKind, formatting: ParagraphFormatting, styles: Box<[Name]>, uri: DocumentElementURI, )

Source

fn close_problem<E: FTMLExtractor, N: FTMLNode>( extractor: &mut E, node: &N, uri: DocumentElementURI, styles: Box<[Name]>, autogradable: bool, points: Option<f32>, sub_problem: bool, )

Source

fn close_symdecl<E: FTMLExtractor>( extractor: &mut E, uri: SymbolURI, arity: ArgSpec, macroname: Option<Box<str>>, role: Box<[Box<str>]>, assoctype: Option<AssocType>, reordering: Option<Box<str>>, )

Source

fn close_vardecl<E: FTMLExtractor>( extractor: &mut E, uri: DocumentElementURI, bind: bool, arity: ArgSpec, macroname: Option<Box<str>>, role: Box<[Box<str>]>, assoctype: Option<AssocType>, reordering: Option<Box<str>>, is_seq: bool, )

Source

fn close_notation<E: FTMLExtractor>( extractor: &mut E, id: Box<str>, symbol: VarOrSym, precedence: isize, argprecs: SmallVec<isize, 9>, )

Trait Implementations§

Source §

impl Clone for OpenFTMLElement

Source §

fn clone(&self) -> OpenFTMLElement

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for OpenFTMLElement

Source §

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl Freeze for OpenFTMLElement

§

impl RefUnwindSafe for OpenFTMLElement

§

impl Send for OpenFTMLElement

§

impl Sync for OpenFTMLElement

§

impl Unpin for OpenFTMLElement

§

impl UnwindSafe for OpenFTMLElement

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.

§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

§

impl<F, W, T, D> Deserialize<With<T, W>, D> for F
where W: DeserializeWith<F, T, D>, D: Fallible + ?Sized, F: ?Sized,

§

fn deserialize( &self, deserializer: &mut D, ) -> Result<With<T, W>, <D as Fallible>::Error>

Deserializes using the given deserializer

§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.

§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.

§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.

§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.

§

impl<T> DowncastSend for T
where T: Any + Send,

§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.

§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Send + Sync>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be downcast into Arc<ConcreteType> where ConcreteType implements Trait.

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

§