Type Definition sapio_base::Clause

type Clause = Policy<PublicKey>;

Concrete Instantiation of Miniscript Policy. Because we need to be able to generate exact transactions, we only work with bitcoin::PublicKey types.

Trait Implementations

impl From<AnyAbsTimeLock> for Clause

fn from(lt: AnyAbsTimeLock) -> Self

Performs the conversion.

impl From<AnyRelTimeLock> for Clause

fn from(lt: AnyRelTimeLock) -> Self

Performs the conversion.

impl From<AnyTimeLock> for Clause

fn from(lt: AnyTimeLock) -> Self

Performs the conversion.

impl<A, TT> From<LockTime<A, TT>> for Clause where
    A: Absolutivity,
    TT: TimeType, 

fn from(lt: LockTime<A, TT>) -> Clause

Performs the conversion.