Struct MathView 

pub struct MathView {
    pub start_row: u32,
    pub end_row: u32,
    pub inline: bool,
    pub tex: String,
    pub display: bool,
    pub src: u32,
}

One formula standing as a picture: what to typeset and where its picture goes. The peer of leaf_core::MathInfo. Two shapes:

• Inline (inline == true): one row, and on it exactly one run with role math whose src equals this src — a single ∑ standing for the whole formula. The renderer typesets the TeX at the run’s font size (typeset_math) and draws the picture in the run’s place with the text baseline through it at the picture’s height: a run delegate on Apple. The run is a caret stop at the formula’s start; the one after it is the next run’s first character.
• Block (inline == false): the rows in start_row..end_row are the placeholder, exactly a MediaView’s shape — the renderer skips them and lays the typeset picture over them, centred on the measure.

A formula on the caret’s line is not here: there it is its TeX, drawn as code runs between delimiter runs, in every markup mode.

Fields

start_row: u32

The DocView::rows indices the formula occupies — its own row for an inline one, the placeholder and its fillers for a block.

end_row: u32

inline: bool

Whether this is an atom in a line of text, or a block of its own.

tex: String

The TeX between the delimiters, verbatim. What typeset_math takes.

display: bool

Display style (limits above and below, full-height fractions) rather than text style — a $$…$$, inline or not.

src: u32

The formula’s source start: what the math run’s src carries, and where a click on the picture lands the caret.

Trait Implementations

impl<UT> ConvertError<UT> for MathView

fn try_convert_unexpected_callback_error( e: UnexpectedUniFFICallbackError, ) -> Result<Self>

impl<UT> FfiConverter<UT> for MathView

const TYPE_ID_META: MetadataBuffer

Type ID metadata, serialized into a MetadataBuffer.

type FfiType = RustBuffer

The low-level type used for passing values of this type over the FFI.

fn lower(v: Self) -> RustBuffer

Lower a rust value of the target type, into an FFI value of type Self::FfiType.

fn try_lift(buf: RustBuffer) -> Result<Self>

Lift a rust value of the target type, from an FFI value of type Self::FfiType.

fn write(obj: Self, buf: &mut Vec<u8>)

Write a rust value into a buffer, to send over the FFI in serialized form.

fn try_read(buf: &mut &[u8]) -> Result<Self>

Read a rust value from a buffer, received over the FFI in serialized form.

impl<UT> Lift<UT> for MathView

type FfiType = <MathView as FfiConverter<UT>>::FfiType

fn try_lift(v: Self::FfiType) -> Result<Self>

fn try_read(buf: &mut &[u8]) -> Result<Self>

fn try_lift_from_rust_buffer(v: RustBuffer) -> Result<Self, Error>

Convenience method

impl<UT> LiftRef<UT> for MathView

type LiftType = MathView

impl<UT> LiftReturn<UT> for MathView

type ReturnType = <MathView as Lift<UT>>::FfiType

FFI return type for trait interfaces

fn try_lift_successful_return(v: Self::ReturnType) -> Result<Self>

Lift a successfully returned value from a trait interface

fn lift_foreign_return( ffi_return: Self::ReturnType, call_status: RustCallStatus, ) -> Self

Lift a foreign returned value from a trait interface

fn lift_error(_buf: RustBuffer) -> Self

Lift a Rust value for a callback interface method error result

fn handle_callback_unexpected_error(e: UnexpectedUniFFICallbackError) -> Self

Lift a Rust value for an unexpected callback interface error

impl<UT> Lower<UT> for MathView

type FfiType = <MathView as FfiConverter<UT>>::FfiType

fn lower(obj: Self) -> Self::FfiType

fn write(obj: Self, buf: &mut Vec<u8>)

fn lower_into_rust_buffer(obj: Self) -> RustBuffer

Convenience method

impl<UT> LowerError<UT> for MathView

fn lower_error(obj: Self) -> RustBuffer

Lower this value for scaffolding function return

impl<UT> LowerReturn<UT> for MathView

type ReturnType = <MathView as Lower<UT>>::FfiType

The type that should be returned by scaffolding functions for this type.

fn lower_return(v: Self) -> Result<Self::ReturnType, RustCallError>

Lower the return value from an scaffolding call

fn handle_failed_lift( error: LiftArgsError, ) -> Result<Self::ReturnType, RustCallError>

Lower the return value for failed argument lifts

impl<UT> TypeId<UT> for MathView

const TYPE_ID_META: MetadataBuffer