Trait TranslateExtParam

pub trait TranslateExtParam<PArg, QArg>
where
    PArg: ExtParam,
    QArg: ExtParam,
{
    type Output;

    // Required method
    fn translate_ext<T, E>(&self, translator: &mut T) -> Result<Self::Output, E>
       where T: ExtParamTranslator<PArg, QArg, E>;
}

Converts a descriptor using abstract extension parameters to one using concrete ones, or vice-versa

Required Associated Types

type Output

The associated output type.

Required Methods

fn translate_ext<T, E>(&self, translator: &mut T) -> Result<Self::Output, E>

where T: ExtParamTranslator<PArg, QArg, E>,

Translates a struct from one generic to another where the translations for Pk are provided by the given ExtParamTranslator.

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<PArg, QArg> TranslateExtParam<PArg, QArg> for CovOps<PArg>

where PArg: ExtParam, QArg: ExtParam,

type Output = CovOps<QArg>

impl<PArg, QArg> TranslateExtParam<PArg, QArg> for Arith<PArg>

where PArg: ExtParam, QArg: ExtParam,

type Output = Arith<QArg>

impl<PArg, QArg> TranslateExtParam<PArg, QArg> for CheckSigFromStack<PArg>

where PArg: ExtParam, QArg: ExtParam,

type Output = CheckSigFromStack<QArg>

impl<PArg, QArg> TranslateExtParam<PArg, QArg> for Expr<PArg>

where PArg: ExtParam, QArg: ExtParam,

type Output = Expr<QArg>