Trait SyscallGenericLibfunc

pub trait SyscallGenericLibfunc: Default {
    const STR_ID: &'static str;

    // Required methods
    fn input_tys(
        context: &dyn SignatureSpecializationContext,
    ) -> Result<Vec<ConcreteTypeId>, SpecializationError>;
    fn success_output_tys(
        context: &dyn SignatureSpecializationContext,
    ) -> Result<Vec<ConcreteTypeId>, SpecializationError>;
}

Trait for implementing a library function for syscalls.

Required Associated Constants

const STR_ID: &'static str

The library function id.

Required Methods

fn input_tys( context: &dyn SignatureSpecializationContext, ) -> Result<Vec<ConcreteTypeId>, SpecializationError>

The non implicits inputs for the libfunc.

fn success_output_tys( context: &dyn SignatureSpecializationContext, ) -> Result<Vec<ConcreteTypeId>, SpecializationError>

The success case non implicits outputs of the libfunc.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl SyscallGenericLibfunc for EmitEventLibfunc

const STR_ID: &'static str = "emit_event_syscall"

impl SyscallGenericLibfunc for CallContractLibfunc

const STR_ID: &'static str = "call_contract_syscall"

impl SyscallGenericLibfunc for DeployLibfunc

const STR_ID: &'static str = "deploy_syscall"

impl SyscallGenericLibfunc for LibraryCallLibfunc

const STR_ID: &'static str = "library_call_syscall"

impl SyscallGenericLibfunc for SendMessageToL1Libfunc

const STR_ID: &'static str = "send_message_to_l1_syscall"

impl SyscallGenericLibfunc for GetBlockHashLibfunc

const STR_ID: &'static str = "get_block_hash_syscall"

impl SyscallGenericLibfunc for StorageReadLibfunc

const STR_ID: &'static str = "storage_read_syscall"

impl SyscallGenericLibfunc for StorageWriteLibfunc

const STR_ID: &'static str = "storage_write_syscall"

impl SyscallGenericLibfunc for GetClassHashAtLibfunc

const STR_ID: &'static str = "get_class_hash_at_syscall"

impl SyscallGenericLibfunc for KeccakLibfunc

const STR_ID: &'static str = "keccak_syscall"

impl SyscallGenericLibfunc for ReplaceClassLibfunc

const STR_ID: &'static str = "replace_class_syscall"

impl SyscallGenericLibfunc for Sha256ProcessBlockLibfunc

const STR_ID: &'static str = "sha256_process_block_syscall"

impl<T: Secp256Trait> SyscallGenericLibfunc for Secp256AddLibfunc<T>

const STR_ID: &'static str = T::STR_ID_ADD

impl<T: Secp256Trait> SyscallGenericLibfunc for Secp256GetPointFromXLibfunc<T>

const STR_ID: &'static str = T::STR_ID_GET_POINT_FROM_X

impl<T: Secp256Trait> SyscallGenericLibfunc for Secp256GetXyLibfunc<T>

const STR_ID: &'static str = T::STR_ID_GET_XY

impl<T: Secp256Trait> SyscallGenericLibfunc for Secp256MulLibfunc<T>

const STR_ID: &'static str = T::STR_ID_MUL

impl<T: Secp256Trait> SyscallGenericLibfunc for Secp256NewLibfunc<T>

const STR_ID: &'static str = T::STR_ID_NEW

impl<TGetterTraitsEx: GetterTraitsEx> SyscallGenericLibfunc for GetterLibfunc<TGetterTraitsEx>

const STR_ID: &'static str = TGetterTraitsEx::STR_ID