Module erg_compiler::context::initialize::const_func

Functions

__array_getitem__

__dict_getitem__

__range_getitem__

class_func

Base := Type or NoneType, Impl := Type -> ClassType

inherit_func

Super: ClassType, Impl := Type, Additional := Type -> ClassType

inheritable_func

Class: ClassType -> ClassType (with InheritableType) This function is used by the compiler to mark a class as inheritable and does nothing in terms of actual operation.

patch_func

Base: Type, Impl := Type -> Patch

subsume_func

Super: TraitType, Impl := Type, Additional := Type -> TraitType

trait_func

Base: Type, Impl := Type -> TraitType