Trait locspan::TransposeLoc

pub trait TransposeLoc {
    type Value;
    type FileId;

    fn transpose_loc(
        self, 
        none_location: impl FnOnce() -> Location<Self::FileId>
    ) -> Loc<Option<Self::Value>, Self::FileId>;
}

Provides a transposition function from Option<Loc<T, F>> to Loc<Option<T>, F>.

Required Associated Types

type Value

Located value type.

type FileId

File id type.

Required Methods

fn transpose_loc(
    self,
    none_location: impl FnOnce() -> Location<Self::FileId>
) -> Loc<Option<Self::Value>, Self::FileId>

Transposes a Option<Loc<Self::Value, Self::FileId>> into a Loc<Option<Self::Value>, Self::FileId>.

Implementations on Foreign Types

impl<T, F> TransposeLoc for Option<Loc<T, F>>

type Value = T

type FileId = F

fn transpose_loc(
    self,
    none_location: impl FnOnce() -> Location<F>
) -> Loc<Option<T>, F>

Implementors