Trait ezno_checker::types::TypeCombinable

pub trait TypeCombinable {
    // Required methods
    fn combine(
        condition: TypeId,
        truthy_result: Self,
        otherwise_result: Self,
        types: &mut TypeStore
    ) -> Self;
    fn default() -> Self;
}

Required Methods

fn combine( condition: TypeId, truthy_result: Self, otherwise_result: Self, types: &mut TypeStore ) -> Self

fn default() -> Self

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl TypeCombinable for ()

fn combine( _condition: TypeId, _truthy_result: Self, _otherwise_result: Self, _types: &mut TypeStore ) -> Self

fn default() -> Self

Implementors

impl TypeCombinable for TypeId