Trait miniscript::policy::Liftable

pub trait Liftable<Pk: MiniscriptKey> {
    fn lift(&self) -> Result<Semantic<Pk>, Error>;
}

Trait describing script representations which can be lifted into an abstract policy, by discarding information. After Lifting all policies are converted into KeyHash(Pk::HasH) to maintain the following invariant: Lift(Concrete) == Concrete -> Miniscript -> Script -> Miniscript -> Semantic

Required Methods

fn lift(&self) -> Result<Semantic<Pk>, Error>

Convert the object into an abstract policy

Implementors

impl<Pk: MiniscriptKey> Liftable<Pk> for Descriptor<Pk>

impl<Pk: MiniscriptKey> Liftable<Pk> for Concrete<Pk>

impl<Pk: MiniscriptKey> Liftable<Pk> for Semantic<Pk>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for Terminal<Pk, Ctx>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for Miniscript<Pk, Ctx>