Struct TypeType

pub struct TypeType {
    pub parameter: Option<Box<ValueType>>,
}

Type type representing type values.

This represents CEL’s type system where types themselves can be values. For example, the expression type(42) returns a type value representing int.

Examples

use cel_cxx::*;

// Generic type: type
let generic_type = TypeType::new(None);

// Parameterized type: type<string>
let parameterized_type = TypeType::new(Some(ValueType::String));

Fields

parameter: Option<Box<ValueType>>

Optional type parameter for parameterized types.

Implementations

impl TypeType

pub fn new(parameter: Option<ValueType>) -> Self

Creates a new type type with an optional parameter.

Arguments

• parameter - Optional type parameter

Examples

use cel_cxx::*;

// Generic type
let generic = TypeType::new(None);

// Specific type
let specific = TypeType::new(Some(ValueType::String));

pub fn parameter(&self) -> Option<&ValueType>

Returns the type parameter if present.

Examples

use cel_cxx::*;

let type_type = TypeType::new(Some(ValueType::Int));
assert_eq!(type_type.parameter(), Some(&ValueType::Int));

Trait Implementations

impl Clone for TypeType

fn clone(&self) -> TypeType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeType

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

Formats the value using the given formatter.

impl Display for TypeType

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

Formats the value using the given formatter.

impl From<TypeType> for ValueType

fn from(value: TypeType) -> Self

Converts to this type from the input type.

impl Hash for TypeType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypeType

fn eq(&self, other: &TypeType) -> bool

Tests for self and other values to be equal, and is used by ==.

const 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 TypeType

impl StructuralPartialEq for TypeType