Enum erg_compiler::ty::ParamTy

pub enum ParamTy {
    Pos {
        name: Option<Str>,
        ty: Type,
    },
    Kw {
        name: Str,
        ty: Type,
    },
    KwWithDefault {
        name: Str,
        ty: Type,
        default: Type,
    },
}

Variants

Pos

Fields

name: Option<Str>

ty: Type

Kw

Fields

name: Str

ty: Type

KwWithDefault

Fields

name: Str

ty: Type

default: Type

Implementations

impl ParamTy

pub const fn pos(name: Option<Str>, ty: Type) -> Self

pub const fn kw(name: Str, ty: Type) -> Self

pub const fn kw_default(name: Str, ty: Type, default: Type) -> Self

pub const fn anonymous(ty: Type) -> Self

pub fn name(&self) -> Option<&Str>

pub const fn typ(&self) -> &Type

pub fn typ_mut(&mut self) -> &mut Type

pub fn map_type<F>(self, f: F) -> Selfwhere
F: FnOnce(Type) -> Type,

pub fn deconstruct(self) -> (Option<Str>, Type, Option<Type>)

Trait Implementations

impl Clone for ParamTy

fn clone(&self) -> ParamTy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ParamTy

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

Formats the value using the given formatter.

impl Display for ParamTy

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

Formats the value using the given formatter.

impl Hash for ParamTy

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

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ParamTy

impl StructuralEq for ParamTy

impl StructuralPartialEq for ParamTy