Enum fungi_lang::bitype::IdxTmRule [] [src]

pub enum IdxTmRule {
    Var(Var),
    Sing(NmTmDer),
    Empty,
    Apart(IdxTmDerIdxTmDer),
    Union(IdxTmDerIdxTmDer),
    Bin(IdxTmDerIdxTmDer),
    Unit,
    Pair(IdxTmDerIdxTmDer),
    Proj1(IdxTmDer),
    Proj2(IdxTmDer),
    Lam(VarSortIdxTmDer),
    WriteScope,
    App(IdxTmDerIdxTmDer),
    Map(NmTmDerIdxTmDer),
    FlatMap(IdxTmDerIdxTmDer),
    Star(IdxTmDerIdxTmDer),
    NoParse(String),
    NmSet,
}

Index term sorting rule

Variants

For normal::NmSet index terms

Trait Implementations

impl DerRule for IdxTmRule
[src]

[src]

short term family description

[src]

short name for rule

impl Clone for IdxTmRule
[src]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl Debug for IdxTmRule
[src]

[src]

Formats the value using the given formatter. Read more

impl Eq for IdxTmRule
[src]

impl PartialEq for IdxTmRule
[src]

[src]

This method tests for self and other values to be equal, and is used by ==. Read more

[src]

This method tests for !=.

impl Hash for IdxTmRule
[src]

[src]

Feeds this value into the given [Hasher]. Read more

1.3.0
[src]

Feeds a slice of this type into the given [Hasher]. Read more

impl HasClas for IdxTmRule
[src]

[src]

Auto Trait Implementations

impl !Send for IdxTmRule

impl !Sync for IdxTmRule