Trait elements_miniscript::extensions::param::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.

Object Safety

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>