Enum FTMLTag

pub enum FTMLTag {
    Section,
    Definition,
    Assertion,
    Example,
    Paragraph,
    Problem,
    SubProblem,
    Slide,
    SlideNumber,
    Module,
    MathStructure,
    Morphism,
    Proof,
    SubProof,
    Style,
    Counter,
    CounterParent,
    DocTitle,
    Title,
    ProofTitle,
    SubproofTitle,
    Symdecl,
    Vardef,
    Varseq,
    Notation,
    NotationComp,
    NotationOpComp,
    Definiendum,
    Type,
    Conclusion,
    Definiens,
    Rule,
    ArgSep,
    ArgMap,
    ArgMapSep,
    Term,
    Arg,
    HeadTerm,
    ImportModule,
    UseModule,
    InputRef,
    SetSectionLevel,
    SkipSection,
    ProofMethod,
    ProofSketch,
    ProofTerm,
    ProofBody,
    ProofAssumption,
    ProofStep,
    ProofStepName,
    ProofEqStep,
    ProofPremise,
    ProofConclusion,
    PreconditionDimension,
    PreconditionSymbol,
    ObjectiveDimension,
    ObjectiveSymbol,
    AnswerClass,
    AnswerClassPts,
    AnswerclassFeedback,
    ProblemMinutes,
    ProblemMultipleChoiceBlock,
    ProblemSingleChoiceBlock,
    ProblemChoice,
    ProblemChoiceVerdict,
    ProblemChoiceFeedback,
    ProblemFillinsol,
    ProblemFillinsolWidth,
    ProblemFillinsolCase,
    ProblemFillinsolCaseValue,
    ProblemFillinsolCaseVerdict,
    ProblemSolution,
    ProblemHint,
    ProblemNote,
    ProblemGradingNote,
    Comp,
    VarComp,
    MainComp,
    DefComp,
    Invisible,
    IfInputref,
    ReturnType,
    ArgTypes,
    SRef,
    SRefIn,
    Slideshow,
    SlideshowSlide,
    CurrentSectionLevel,
    Capitalize,
    Assign,
    Rename,
    RenameTo,
    AssignMorphismFrom,
    AssignMorphismTo,
    AssocType,
    ArgumentReordering,
    ArgNum,
    Bind,
    MorphismDomain,
    MorphismTotal,
    ArgMode,
    NotationId,
    Head,
    Language,
    Metatheory,
    Signature,
    Args,
    ProblemPoints,
    Autogradable,
    ProofHide,
    Macroname,
    Inline,
    Fors,
    Id,
    NotationFragment,
    Precedence,
    Role,
    Styles,
    Argprecs,
}

Variants

Section

data-ftml-section="<[SectionLevel]>"

Additional attributes: Id,

Not allowed in [LogicalParagraph]s, [Problem]s or [Slide]s

Denotes a new [Section]. The given [SectionLevel] is only a sanity check; the actual level is determined by the occurrence within a [Document].

Definition

data-ftml-definition

Additional attributes: Id, Inline, Fors, Styles,

Child nodes: Definiens, Definiendum,

Denotes a new [LogicalParagraph] of [ParagraphKind::Definition] for the given [Symbol]s using the given styles.

Assertion

data-ftml-assertion

Additional attributes: Id, Inline, Fors, Styles,

Denotes a new [LogicalParagraph] of [ParagraphKind::Assertion] (Theorems, Lemmata, Axioms, etc.) for the given [Symbol]s using the given styles.

Example

data-ftml-example

Additional attributes: Id, Inline, Fors, Styles,

Denotes a new [LogicalParagraph] of [ParagraphKind::Example] (this includes counterexamples) for the given [Symbol]s using the given styles.

Paragraph

data-ftml-paragraph

Additional attributes: Id, Inline, Fors, Styles,

Denotes a new [LogicalParagraph] of [ParagraphKind::Paragraph] for the given [Symbol]s using the given styles.

Problem

data-ftml-problem

Additional attributes: Id, Styles, Autogradable, ProblemPoints,

Denotes a new [Problem] with sub_problem=false

SubProblem

data-ftml-subproblem

Additional attributes: Id, Styles, Autogradable, ProblemPoints,

Denotes a new [Problem] with sub_problem=true

Slide

data-ftml-slide

Additional attributes: Id,

Not allowed in [LogicalParagraph]s, [Problem]s or [Slide]s

Denotes a [Slide], implying that the [Document] is (or contains in some sense) a presentation.

SlideNumber

data-ftml-slide-number

Only allowed in [Slide]s

A (possibly empty) node that, when being rendered, should be replaced by the current slide number.

Module

data-ftml-module="<String>"

Additional attributes: Metatheory, Signature,

Denotes a new [Module] (or [NestedModule]) with the given [Name] in the current Namespace.

MathStructure

data-ftml-feature-structure="<String>"

Additional attributes: Macroname,

Only allowed in [Module]s

Denotes a new [MathStructure] or [Extension] with the given [Name].

Morphism

data-ftml-feature-morphism

TODO

Proof

data-ftml-proof

Additional attributes: Id, Inline, Fors, Styles, ProofHide,

SubProof

data-ftml-subproof

Additional attributes: Id, Inline, Fors, Styles, ProofHide,

Style

data-ftml-style

Counter

data-ftml-counter

CounterParent

data-ftml-counter-parent

DocTitle

data-ftml-doctitle

Title

data-ftml-title

ProofTitle

data-ftml-prooftitle

SubproofTitle

data-ftml-subprooftitle

Symdecl

data-ftml-symdecl

Vardef

data-ftml-vardef

Varseq

data-ftml-varseq

Notation

data-ftml-notation

NotationComp

data-ftml-notationcomp

NotationOpComp

data-ftml-notationopcomp

Definiendum

data-ftml-definiendum

Only allowed in: Definition, Paragraph, Assertion,

Type

data-ftml-type

Conclusion

data-ftml-conclusion

Definiens

data-ftml-definiens

Only allowed in: Definition, Paragraph, Assertion,

Rule

data-ftml-rule

ArgSep

data-ftml-argsep

ArgMap

data-ftml-argmap

ArgMapSep

data-ftml-argmap-sep

Term

data-ftml-term

Arg

data-ftml-arg

HeadTerm

data-ftml-headterm

ImportModule

data-ftml-import

UseModule

data-ftml-usemodule

InputRef

data-ftml-inputref

SetSectionLevel

data-ftml-sectionlevel

SkipSection

data-ftml-skipsection

ProofMethod

data-ftml-proofmethod

ProofSketch

data-ftml-proofsketch

ProofTerm

data-ftml-proofterm

ProofBody

data-ftml-proofbody

ProofAssumption

data-ftml-spfassumption

ProofStep

data-ftml-spfstep

ProofStepName

data-ftml-stepname

ProofEqStep

data-ftml-spfeqstep

ProofPremise

data-ftml-premise

ProofConclusion

data-ftml-spfconclusion

PreconditionDimension

data-ftml-preconditiondimension

PreconditionSymbol

data-ftml-preconditionsymbol

ObjectiveDimension

data-ftml-objectivedimension

ObjectiveSymbol

data-ftml-objectivesymbol

AnswerClass

data-ftml-answerclass

AnswerClassPts

data-ftml-answerclass-pts

AnswerclassFeedback

data-ftml-answerclass-feedback

ProblemMinutes

data-ftml-problemminutes

ProblemMultipleChoiceBlock

data-ftml-multiple-choice-block

ProblemSingleChoiceBlock

data-ftml-single-choice-block

ProblemChoice

data-ftml-problem-choice

ProblemChoiceVerdict

data-ftml-problem-choice-verdict

ProblemChoiceFeedback

data-ftml-problem-choice-feedback

ProblemFillinsol

data-ftml-fillinsol

ProblemFillinsolWidth

data-ftml-fillinsol-width

ProblemFillinsolCase

data-ftml-fillin-case

ProblemFillinsolCaseValue

data-ftml-fillin-case-value

ProblemFillinsolCaseVerdict

data-ftml-fillin-case-verdict

ProblemSolution

data-ftml-solution

ProblemHint

data-ftml-problemhint

ProblemNote

data-ftml-problemnote

ProblemGradingNote

data-ftml-problemgnote

Comp

data-ftml-comp

VarComp

data-ftml-varcomp

MainComp

data-ftml-maincomp

DefComp

data-ftml-defcomp

Invisible

data-ftml-invisible

IfInputref

data-ftml-ifinputref

ReturnType

data-ftml-returntype

ArgTypes

data-ftml-argtypes

SRef

data-ftml-sref

SRefIn

data-ftml-srefin

Slideshow

data-ftml-slideshow

SlideshowSlide

data-ftml-slideshow-slide

CurrentSectionLevel

data-ftml-currentsectionlevel

Capitalize

data-ftml-capitalize

Assign

data-ftml-assign

Rename

data-ftml-rename

RenameTo

data-ftml-to

AssignMorphismFrom

data-ftml-assignmorphismfrom

AssignMorphismTo

data-ftml-assignmorphismto

AssocType

data-ftml-assoctype

ArgumentReordering

data-ftml-reorderargs

ArgNum

data-ftml-argnum

Bind

data-ftml-bind

MorphismDomain

data-ftml-domain

MorphismTotal

data-ftml-total

ArgMode

data-ftml-argmode

NotationId

data-ftml-notationid

Head

data-ftml-head

Language

data-ftml-language

Metatheory

data-ftml-metatheory

Attribute of: Module,

The metatheory of a module, that provides the formal “language” the module is in

Signature

data-ftml-signature

Attribute of: Module,

Args

data-ftml-args

ProblemPoints

data-ftml-problempoints

Attribute of: Problem, SubProblem,

Autogradable

data-ftml-autogradable

Attribute of: Problem, SubProblem,

ProofHide

data-ftml-proofhide

Attribute of: Proof, SubProof,

Macroname

data-ftml-macroname

Attribute of: MathStructure,

Inline

data-ftml-inline

Attribute of: Definition, Paragraph, Assertion, Example, Problem, SubProblem,

Fors

data-ftml-fors

Attribute of: Definition, Paragraph, Assertion, Example, Proof, SubProof,

Id

data-ftml-id

Attribute of: Section, Definition, Paragraph, Assertion, Example, Proof, SubProof, Problem, SubProblem, Slide,

NotationFragment

data-ftml-notationfragment

Precedence

data-ftml-precedence

Role

data-ftml-role

Styles

data-ftml-styles

Argprecs

data-ftml-argprecs

Implementations

impl FTMLKey

pub const fn as_str(self) -> &'static str

pub const fn attr_name(self) -> &'static str

Trait Implementations

impl Clone for FTMLKey

fn clone(&self) -> FTMLKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FTMLKey

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

Formats the value using the given formatter.

impl Display for FTMLKey

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

Formats the value using the given formatter.

impl Hash for FTMLKey

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FTMLKey

fn eq(&self, other: &FTMLKey) -> 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 FTMLKey

impl Eq for FTMLKey

impl StructuralPartialEq for FTMLKey