Enum NativeKernel 

pub enum NativeKernel {
    MlkemNtt,
    MlkemBaseMulW16,
    ToMontW16,
    Cbd2W16,
    CompressW16,
    DecompressW16,
    ByteEncodeW16,
    ByteDecodeW16,
    SampleAW16,
    SampleMatrixW16,
    MlkemNoiseBatch,
    AddModQW16,
    SubModQW16,
    ZerosW16,
    MlkemInvNtt,
    MlkemBaseMul,
    Cbd2,
    Cbd3,
    Compress,
    Decompress,
    ByteEncode,
    ByteDecode,
    SampleNtt,
    SampleA,
    ToMont,
    MlkemKeypair,
    MlkemEncapsKem,
    MlkemDecapsKem,
    MldsaKeypair,
    MldsaSign,
    MldsaVerify,
}

One native kernel of the standard library.

Variants

MlkemNtt

MlkemBaseMulW16

ToMontW16

Cbd2W16

CompressW16

DecompressW16

ByteEncodeW16

ByteDecodeW16

SampleAW16

SampleMatrixW16

MlkemNoiseBatch

AddModQW16

SubModQW16

ZerosW16

MlkemInvNtt

MlkemBaseMul

Cbd2

Cbd3

Compress

Decompress

ByteEncode

ByteDecode

SampleNtt

SampleA

ToMont

MlkemKeypair

MlkemEncapsKem

MlkemDecapsKem

MldsaKeypair

MldsaSign

MldsaVerify

Implementations

impl NativeKernel

pub const ALL: &'static [NativeKernel]

Every kernel, in code order. Append only.

pub const fn name(self) -> &'static str

The LOGOS name the standard library declares it under.

pub const fn arity(self) -> usize

How many arguments the declaration takes.

pub const fn rust_path(self) -> (&'static str, &'static str)

The logicaffeine_system (module, function) the compiled tier calls.

pub fn code(self) -> i64

The kernel’s stable code — its position in Self::ALL.

pub fn from_code(code: i64) -> Option<NativeKernel>

The kernel with this code.

pub fn from_name(name: &str) -> Option<NativeKernel>

The kernel declared under name, if any.

pub fn refusal(self, backend: &str) -> String

Why a backend that cannot link the Rust kernels refuses a program that calls this one.

pub fn call(self, args: &[RuntimeValue]) -> Result<RuntimeValue, String>

Run the kernel on already-evaluated arguments.

pub fn failure(self, why: &str) -> String

The report a refused call stops the program with, on every tier: the kernel’s name, then why its logicaffeine_system function refused the arguments. The compiled tier panics with the same text (see the Rust backend’s native-function emission).

Trait Implementations

impl Clone for NativeKernel

fn clone(&self) -> NativeKernel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NativeKernel

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

Formats the value using the given formatter.

impl Hash for NativeKernel

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 NativeKernel

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for NativeKernel

impl Eq for NativeKernel

impl StructuralPartialEq for NativeKernel