[][src]Trait miniscript::policy::Liftable

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

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) -> Semantic<Pk>

Convert the object into an abstract policy

Loading content...

Implementors

impl<Pk: MiniscriptKey> Liftable<Pk> for Descriptor<Pk>[src]

impl<Pk: MiniscriptKey> Liftable<Pk> for Terminal<Pk>[src]

impl<Pk: MiniscriptKey> Liftable<Pk> for Concrete<Pk>[src]

impl<Pk: MiniscriptKey> Liftable<Pk> for Semantic<Pk>[src]

impl<Pk: MiniscriptKey> Liftable<Pk> for Miniscript<Pk>[src]

Loading content...