FHElium

Appearance

fhelium.eager._program_values ​

Adapt public Python values at Eager-backed Program interfaces.

attribute_value ​

function View source

python
def attribute_value(attribute: object) -> object: ...

Convert one builtin IR attribute to its Python value.

public_value_from_tensor ​

function View source

python
def public_value_from_tensor(value_type: object, data: torch.Tensor, *, template: Ciphertext | Plaintext | None=None, scale_if_unrepresented: float | None=None) -> Ciphertext | Plaintext: ...

Construct one public CKKS value from a represented result and Tensor.

verify_runtime_value_type ​

function View source

python
def verify_runtime_value_type(value_type: object, value: object, *, label: str) -> None: ...

Reject disagreement between an IR type and one public runtime value.