Trait tract_hir::prelude::DatumTypeExt

pub trait DatumTypeExt {
    // Required methods
    fn scalar_fact(&self) -> TypedFact;
    fn fact<S>(&self, shape: S) -> TypedFact
       where S: Into<ShapeFact>;
}

Required Methods

fn scalar_fact(&self) -> TypedFact

fn fact<S>(&self, shape: S) -> TypedFact

where S: Into<ShapeFact>,

Object Safety

This trait is not object safe.

Implementors

impl DatumTypeExt for DatumType