Enum erg_compiler::ty::ParamTy

pub enum ParamTy {
    Pos(Type),
    Kw {
        name: Str,
        ty: Type,
    },
    KwWithDefault {
        name: Str,
        ty: Type,
        default: Type,
    },
}

Variants

Pos(Type)

Kw

Fields

name: Str

ty: Type

KwWithDefault

Fields

name: Str

ty: Type

default: Type

Implementations

impl ParamTy

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

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

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

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

pub fn name_mut(&mut self) -> Option<&mut Str>

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

pub const fn default_typ(&self) -> Option<&Type>

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

pub fn default_typ_mut(&mut self) -> Option<&mut Type>

pub fn map_type<F>(self, f: F) -> Self

where F: FnOnce(Type) -> Type,

pub fn map_default_type<F>(self, f: F) -> Self

where F: FnOnce(Type) -> Type,

pub fn try_map_type<F, E>(self, f: F) -> Result<Self, E>

where F: FnOnce(Type) -> Result<Type, E>,

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 From<&ParamSpec> for ParamTy

fn from(param: &ParamSpec) -> Self

Converts to this type from the input type.

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