Module hlrun.core

Core classes, handling, and casting for primitives.

Functions

def to_hlvalue(obj: Any,
kind: Type | int) ‑> HlValue | typing.Any

Expand source code

def to_hlvalue(obj: Any, kind: Type | int) -> HlValue | Any:
    """
    Convert a Capsule containing a pointer to an HL object to a HlValue.
    """
    kind = Type(kind) if isinstance(kind, int) else kind
    match kind:
        case Type.OBJ:
            return _create_matching_obj(obj)
        case Type.FUN:
            return HlClosure(obj)
        case _:
            return obj

Convert a Capsule containing a pointer to an HL object to a HlValue.

Classes

class Args (args: List[Any], fn_symbol: str, types: str)

Expand source code

class Args:
    """
    Represents intercepted arguments passed to a function.
    """

    def __init__(self, args: List[Any], fn_symbol: str, types: str):
        types_arr: List[Type] = [Type(int(typ)) for typ in types.split(",")]
        args_str: List[str] = []
        args_arr: List[HlValue] = []
        for i, arg in enumerate(args):
            args_str.append(f"arg{i}: {Type(types_arr[i])}={arg}")
            args_arr.append(to_hlvalue(arg, types_arr[i]))
        dbg_print(f"{fn_symbol}({', '.join(args_str)})")
        self.args: List[HlValue] = args_arr

    def to_prims(self) -> List[Any | HlPrim]:
        return [arg.obj if isinstance(arg, HlPrim) else HlPrim(None, Type.VOID) for arg in self.args]

    def __getitem__(self, index: int) -> HlValue:
        return self.args[index]

    def __setitem__(self, index: int, value: HlValue) -> None:
        self.args[index] = value

    def __len__(self) -> int:
        return len(self.args)

    def __iter__(self) -> Iterable[HlValue]:
        return iter(self.args)

    def __repr__(self) -> str:
        return f"Args({self.args})"

Represents intercepted arguments passed to a function.

Methods

def to_prims(self) ‑> List[Any | HlPrim]

Expand source code

def to_prims(self) -> List[Any | HlPrim]:
    return [arg.obj if isinstance(arg, HlPrim) else HlPrim(None, Type.VOID) for arg in self.args]

class HlClosure (ptr: Any)

Expand source code

class HlClosure(HlValue):
    """
    Proxy to a callable function, out-of-context of an object.
    """

    def __init__(self, ptr: Any) -> None:
        self.__ptr = ptr

    def __call__(self, *args: Any) -> Any:
        if RUNTIME:
            return hl_closure_call(self.__ptr, list(args))
        raise RuntimeError("This isn't the pyhl runtime!")

Proxy to a callable function, out-of-context of an object.

Ancestors

• HlValue

class HlObj (ptr)

Expand source code

class HlObj(HlValue):
    """
    Proxy to an instance of an HL class.
    """

    def __getattr__(self, name: str) -> Any:
        if RUNTIME:
            if "__ptr_impossible_to_overlap_this_name" in self.__dict__:
                return to_hlvalue(
                    hl_obj_getfield(self.__dict__["__ptr_impossible_to_overlap_this_name"], name),
                    hl_obj_field_type(self.__dict__["__ptr_impossible_to_overlap_this_name"], name),
                )
            else:
                raise AttributeError(f"'{self.__class__.__name__}' object has no attribute '{name}'")
        raise RuntimeError("This isn't the pyhl runtime!")

    def __setattr__(self, name: str, value: Any) -> None:
        if RUNTIME:
            if "__ptr_impossible_to_overlap_this_name" in self.__dict__:
                return hl_obj_setfield(self.__dict__["__ptr_impossible_to_overlap_this_name"], name, value)
            else:
                raise AttributeError("Cannot set attributes before initializing the object")
        raise RuntimeError("This isn't the pyhl runtime!")

    def _classname(self) -> str:
        """
        Get the class name of the object.
        """
        return hl_obj_classname(self.__dict__["__ptr_impossible_to_overlap_this_name"])

    def __init__(self, ptr):  # type: ignore
        self.__dict__["__ptr_impossible_to_overlap_this_name"] = ptr  # HACK: yeah... sorry.

Proxy to an instance of an HL class.

Ancestors

• HlValue

Subclasses

• HlString

class HlPrim (obj: Any, type: Type)

Expand source code

@dataclass
class HlPrim(HlValue):
    """
    Primitive object, stored as a castable Python object and a type kind.
    """

    obj: Any
    type: Type

Primitive object, stored as a castable Python object and a type kind.

Ancestors

• HlValue

Class variables

var obj : Any

The type of the None singleton.

var type : Type

The type of the None singleton.

class HlValue

Expand source code

class HlValue:
    """
    Value of some kind. ABC for all HL values.
    """

Value of some kind. ABC for all HL values.

Subclasses

• HlClosure
• HlObj
• HlPrim

class Type (*args, **kwds)

Expand source code

class Type(Enum):
    """
    Type kind of an object.
    """

    VOID = 0
    U8 = 1
    U16 = 2
    I32 = 3
    I64 = 4
    F32 = 5
    F64 = 6
    BOOL = 7
    BYTES = 8
    DYN = 9
    FUN = 10
    OBJ = 11
    ARRAY = 12
    TYPETYPE = 13
    REF = 14
    VIRTUAL = 15
    DYNOBJ = 16
    ABSTRACT = 17
    ENUM = 18
    NULL = 19
    METHOD = 20
    STRUCT = 21
    PACKED = 22

Type kind of an object.

Ancestors

• enum.Enum

Class variables

var ABSTRACT

The type of the None singleton.

var ARRAY

The type of the None singleton.

var BOOL

The type of the None singleton.

var BYTES

The type of the None singleton.

var DYN

The type of the None singleton.

var DYNOBJ

The type of the None singleton.

var ENUM

The type of the None singleton.

var F32

The type of the None singleton.

var F64

The type of the None singleton.

var FUN

The type of the None singleton.

var I32

The type of the None singleton.

var I64

The type of the None singleton.

var METHOD

The type of the None singleton.

var NULL

The type of the None singleton.

var OBJ

The type of the None singleton.

var PACKED

The type of the None singleton.

var REF

The type of the None singleton.

var STRUCT

The type of the None singleton.

var TYPETYPE

The type of the None singleton.

var U16

The type of the None singleton.

var U8

The type of the None singleton.

var VIRTUAL

The type of the None singleton.

var VOID

The type of the None singleton.