Enum Ty 

pub enum Ty {
    Unknown,
    Never,
    Void,
    Null,
    Bool,
    Int,
    Float,
    Str,
    Array,
    Callable,
    Object(String),
    Union(Vec<Ty>),
    Intersection(Vec<Ty>),
}

A PHP type.

Variants

Unknown

Type is not known / not yet inferred.

Never

The never return type (function never returns normally).

Void

The void return type.

Null

null.

Bool

bool.

Int

int.

Float

float.

Str

string.

Array

Untyped array.

Callable

callable.

Object(String)

A named object type (fully-qualified or short class/interface name).

Union(Vec<Ty>)

T1|T2|…

Intersection(Vec<Ty>)

T1&T2&…

Implementations

impl Ty

pub fn from_str(s: &str) -> Self

Parse from a PHP type-hint string (e.g. "?int", "Foo|null").

pub fn class_name(&self) -> Option<&str>

If this is a single named object type, return its class name.

pub fn is_nullable(&self) -> bool

True if null is a valid value for this type.

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl PartialEq for Ty

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