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.

Object Safety

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 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