Enum TypeKind

#[repr(u8)]
pub enum TypeKind {
    Null = 0,
    Bool = 1,
    Int = 2,
    Uint = 3,
    Double = 4,
    String = 5,
    Bytes = 6,
    Struct = 7,
    Duration = 8,
    Timestamp = 9,
    List = 10,
    Map = 11,
    Unknown = 12,
    Type = 13,
    Error = 14,
    Any = 15,
    Dyn = 16,
    Opaque = 17,
    BoolWrapper = 18,
    IntWrapper = 19,
    UintWrapper = 20,
    DoubleWrapper = 21,
    StringWrapper = 22,
    BytesWrapper = 23,
    TypeParam = 24,
    Function = 25,
    Enum = 26,
}

Represents the type kinds in CEL’s type system.

This enum is a subset of Kind that specifically represents type kinds in the CEL type system. It is used for type checking and type inference operations. Each variant corresponds to a specific type category that can be used in type declarations and type checking.

Relationship with Kind

TypeKind is a specialized view of Kind that only includes variants relevant to type system operations. It maintains the same variant values as Kind for compatibility, but provides a more focused interface for type-related operations.

Examples

use cel_cxx_ffi::common::{Kind, TypeKind};

// TypeKind can be converted to Kind
let type_kind = TypeKind::Int;
let kind: Kind = type_kind.into();
assert!(kind.is_type_kind());

Variants

Null = 0

Bool = 1

Int = 2

Uint = 3

Double = 4

String = 5

Bytes = 6

Struct = 7

Duration = 8

Timestamp = 9

List = 10

Map = 11

Unknown = 12

Type = 13

Error = 14

Any = 15

Dyn = 16

Opaque = 17

BoolWrapper = 18

IntWrapper = 19

UintWrapper = 20

DoubleWrapper = 21

StringWrapper = 22

BytesWrapper = 23

TypeParam = 24

Function = 25

Enum = 26

Trait Implementations

impl Clone for TypeKind

fn clone(&self) -> TypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeKind

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

Formats the value using the given formatter.

impl Display for TypeKind

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

Formats the value using the given formatter.

impl ExternType for TypeKind

type Id = (c, e, l, (), T, y, p, e, K, i, n, d)

A type-level representation of the type’s C++ namespace and type name.

type Kind = Trivial

Either cxx::kind::Opaque or cxx::kind::Trivial.

impl From<Kind> for TypeKind

fn from(kind: Kind) -> TypeKind

Converts to this type from the input type.

impl From<TypeKind> for Kind

fn from(kind: TypeKind) -> Kind

Converts to this type from the input type.

impl Hash for TypeKind

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

where __H: Hasher,

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<Kind> for TypeKind

fn eq(&self, other: &Kind) -> 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 PartialEq<TypeKind> for Kind

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

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

fn size_of() -> usize

impl SpanElement for TypeKind

type TypeId = (r, u, s, t, (), c, e, l, __, c, x, x, (), S, p, a, n, __, T, y, p, e, K, i, n, d)

impl Copy for TypeKind

impl Eq for TypeKind

impl StructuralPartialEq for TypeKind