Enum PerlType 

pub enum PerlType {
    Scalar(ScalarType),
    Array(Box<PerlType>),
    Hash {
        key: Box<PerlType>,
        value: Box<PerlType>,
    },
    Reference(Box<PerlType>),
    Subroutine {
        params: Vec<PerlType>,
        returns: Vec<PerlType>,
    },
    Object(String),
    Glob,
    Union(Vec<PerlType>),
    Any,
    Void,
}

Type inference types: Perl types, constraints, and inference engine. Represents a Perl type

Variants

Scalar(ScalarType)

Scalar types

Array(Box<PerlType>)

Array type

Hash

Hash type with key and value types

Fields

key: Box<PerlType>

The type of keys in the hash

value: Box<PerlType>

The type of values in the hash

Reference(Box<PerlType>)

Reference to another type

Subroutine

Subroutine type with parameter and return types

Fields

params: Vec<PerlType>

Types of the subroutine parameters

returns: Vec<PerlType>

Types of the subroutine return values

Object(String)

Object type with class name

Glob

Glob/typeglob type

Union(Vec<PerlType>)

Union of multiple possible types

Any

Unknown or any type

Void

Void/no return value

Trait Implementations

impl Clone for PerlType

fn clone(&self) -> PerlType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PerlType

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

Formats the value using the given formatter.

impl Display for PerlType

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

Formats the value using the given formatter.

impl Hash for PerlType

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 for PerlType

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

impl StructuralPartialEq for PerlType