Enum HandlerSignature

pub enum HandlerSignature {
    Entry,
    Other {
        obligations: BTreeMap<Type, &'static Location<'static>>,
        guaranteed_outcomes: BTreeSet<Type>,
        conditional_outcomes: BTreeSet<Type>,
    },
}

A run-time handler signature. Used only for run-time type inference and checking of handler chains.

See crate::type_check.

Variants

Entry

The signature corresponding to crate::entry.

Other

The handler signature with exact input and output types.

Fields

obligations: BTreeMap<Type, &'static Location<'static>>

The map from types that this handler accepts to locations where they are required in source code.

guaranteed_outcomes: BTreeSet<Type>

The set of types that this handler guarantees to provide when it continues. These types are always available for subsequent handlers in a chain or branch.

conditional_outcomes: BTreeSet<Type>

The set of types that this handler may provide, but only conditionally. These types cannot be relied upon by subsequent handlers.

Trait Implementations

impl Clone for HandlerSignature

fn clone(&self) -> HandlerSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HandlerSignature

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

Formats the value using the given formatter.

impl PartialEq for HandlerSignature

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

impl StructuralPartialEq for HandlerSignature