Returns the list of generic libfuncs ids that can be instantiated through this type. This is useful on hierarchical libfunc aggregates such as CoreLibfunc.

Source §

fn by_id(id: &GenericLibfuncId) -> Option<TNamedLibfunc>

Instantiates the libfunc by id.

Source §

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

Creates the specialization of the libfunc’s signature with the template arguments.

Source §

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<TNamedLibfunc as GenericLibfunc>::Concrete, SpecializationError>

Creates the specialization with the template arguments.

Source §

impl<TGenericLibfunc> GenericLibfuncEx for TGenericLibfunc
where TGenericLibfunc: GenericLibfunc,

Source §

fn specialize_signature_by_id( context: &dyn SignatureSpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<LibfuncSignature, ExtensionError>

Source §

fn specialize_by_id( context: &dyn SpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<<TGenericLibfunc as GenericLibfunc>::Concrete, ExtensionError>

Source §

impl<T> Instrument for T

Source §

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Source §

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

impl<T> Lookup<T> for T

Source §

fn into_owned(self) -> T

Source §

impl<T> NamedLibfunc for T
where T: SignatureOnlyGenericLibfunc,

Source §

const STR_ID: &'static str = const STR_ID: &'static str = <Self as SignatureOnlyGenericLibfunc>::STR_ID;

Source §

type Concrete = SignatureOnlyConcreteLibfunc

Source §

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

Creates the specialization of the libfunc’s signature with the template arguments.

Source §

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<T as NamedLibfunc>::Concrete, SpecializationError>

Creates the specialization with the template arguments.

Source §

impl<T> Pointable for T

Source §

const ALIGN: usize

The alignment of pointer.

Source §

type Init = T

The type for initializers.

Source §

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

Source §

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

Source §

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

Source §

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

Source §

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

impl<T> SignatureOnlyGenericLibfunc for T
where T: NoGenericArgsGenericLibfunc,

Source §

const STR_ID: &'static str = const STR_ID: &'static str = <Self as NoGenericArgsGenericLibfunc>::STR_ID;

Source §

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Source §

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source §

fn vzip(self) -> V

Source §

impl<T> WithSubscriber for T

Source §

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

Source §

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

PrintLibfunc

Struct PrintLibfunc Copy item path

Trait Implementations§

impl Default for PrintLibfunc

fn default() -> PrintLibfunc

impl NoGenericArgsGenericLibfunc for PrintLibfunc

const STR_ID: &'static str = "print"

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, ) -> Result<LibfuncSignature, SpecializationError>

Auto Trait Implementations§

impl Freeze for PrintLibfunc

impl RefUnwindSafe for PrintLibfunc

impl Send for PrintLibfunc

impl Sync for PrintLibfunc

impl Unpin for PrintLibfunc

impl UnsafeUnpin for PrintLibfunc

impl UnwindSafe for PrintLibfunc

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

impl<TNamedLibfunc> GenericLibfunc for TNamedLibfuncwhere TNamedLibfunc: NamedLibfunc,

type Concrete = <TNamedLibfunc as NamedLibfunc>::Concrete

fn supported_ids() -> Vec<GenericLibfuncId>

fn by_id(id: &GenericLibfuncId) -> Option<TNamedLibfunc>

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<TNamedLibfunc as GenericLibfunc>::Concrete, SpecializationError>

impl<TGenericLibfunc> GenericLibfuncEx for TGenericLibfuncwhere TGenericLibfunc: GenericLibfunc,

fn specialize_signature_by_id( context: &dyn SignatureSpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<LibfuncSignature, ExtensionError>

fn specialize_by_id( context: &dyn SpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<<TGenericLibfunc as GenericLibfunc>::Concrete, ExtensionError>

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Lookup<T> for T

fn into_owned(self) -> T

impl<T> NamedLibfunc for Twhere T: SignatureOnlyGenericLibfunc,

const STR_ID: &'static str = const STR_ID: &'static str = <Self as SignatureOnlyGenericLibfunc>::STR_ID;

type Concrete = SignatureOnlyConcreteLibfunc

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<T as NamedLibfunc>::Concrete, SpecializationError>

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

impl<T> SignatureOnlyGenericLibfunc for Twhere T: NoGenericArgsGenericLibfunc,

const STR_ID: &'static str = const STR_ID: &'static str = <Self as NoGenericArgsGenericLibfunc>::STR_ID;

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct PrintLibfunc

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<TNamedLibfunc> GenericLibfunc for TNamedLibfunc
where TNamedLibfunc: NamedLibfunc,

impl<TGenericLibfunc> GenericLibfuncEx for TGenericLibfunc
where TGenericLibfunc: GenericLibfunc,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> NamedLibfunc for T
where T: SignatureOnlyGenericLibfunc,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> SignatureOnlyGenericLibfunc for T
where T: NoGenericArgsGenericLibfunc,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,