Language.Bitcoin.Miniscript.Witness

Documentation

satisfy :: ChainState -> SatisfactionContext -> Miniscript -> Either SatisfactionError Script

Compute a scriptinput which satisfies this miniscript

data SatisfactionContext

Instances

Eq SatisfactionContext

Defined in Language.Bitcoin.Miniscript.Witness

Methods

(==) :: SatisfactionContext -> SatisfactionContext -> Bool

(/=) :: SatisfactionContext -> SatisfactionContext -> Bool

Show SatisfactionContext

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> SatisfactionContext -> ShowS

show :: SatisfactionContext -> String

showList :: [SatisfactionContext] -> ShowS

Semigroup SatisfactionContext

Defined in Language.Bitcoin.Miniscript.Witness

Methods

(<>) :: SatisfactionContext -> SatisfactionContext -> SatisfactionContext

sconcat :: NonEmpty SatisfactionContext -> SatisfactionContext

stimes :: Integral b => b -> SatisfactionContext -> SatisfactionContext

Monoid SatisfactionContext

Defined in Language.Bitcoin.Miniscript.Witness

Methods

mempty :: SatisfactionContext

mappend :: SatisfactionContext -> SatisfactionContext -> SatisfactionContext

mconcat :: [SatisfactionContext] -> SatisfactionContext

satisfactionContext :: [(ByteString, ByteString)] -> [(PubKeyI, Signature)] -> SatisfactionContext

signature :: PubKeyI -> Signature -> SatisfactionContext

Use with the monoid instance to add a signature to the SatisfactionContext

preimage

Arguments

:: ByteString

hash

-> ByteString

preimage

-> SatisfactionContext

Use with the monoid instance to add preimage to the SatisfactionContext

lookupSignature :: PubKeyI -> SatisfactionContext -> Maybe Signature

lookupPreimage :: ByteString -> SatisfactionContext -> Maybe ByteString

data ChainState

Constructors

ChainState

Fields

• blockHeight :: Maybe Int
• utxoAge :: Maybe Int

Instances

Eq ChainState

Defined in Language.Bitcoin.Miniscript.Witness

Methods

(==) :: ChainState -> ChainState -> Bool

(/=) :: ChainState -> ChainState -> Bool

Show ChainState

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> ChainState -> ShowS

show :: ChainState -> String

showList :: [ChainState] -> ShowS

emptyChainState :: ChainState

data Signature

Constructors

Signature

Fields

• sig :: !Sig
• sigHash :: !SigHash

Instances

Eq Signature

Defined in Language.Bitcoin.Miniscript.Witness

Methods

(==) :: Signature -> Signature -> Bool

(/=) :: Signature -> Signature -> Bool

Show Signature

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

data SatisfactionError

Constructors

MissingSignature [KeyDescriptor]

MissingPreimage ByteString

FreeVariable Text

TypeError Text Miniscript

Impossible

AbstractKey KeyDescriptor

Instances

Eq SatisfactionError

Defined in Language.Bitcoin.Miniscript.Witness

Methods

(==) :: SatisfactionError -> SatisfactionError -> Bool

(/=) :: SatisfactionError -> SatisfactionError -> Bool

Show SatisfactionError

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> SatisfactionError -> ShowS

show :: SatisfactionError -> String

showList :: [SatisfactionError] -> ShowS

Exception SatisfactionError

Defined in Language.Bitcoin.Miniscript.Witness

Methods

toException :: SatisfactionError -> SomeException

fromException :: SomeException -> Maybe SatisfactionError

displayException :: SatisfactionError -> String