bitcoin-scripting-0.3.0: Resources for working with miniscript, and script descriptors
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Bitcoin.Miniscript.Witness

Synopsis

Documentation

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

Compute a scriptinput which satisfies this miniscript

data SatisfactionContext Source #

Instances

Instances details
Monoid SatisfactionContext Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

mempty :: SatisfactionContext #

mappend :: SatisfactionContext -> SatisfactionContext -> SatisfactionContext #

mconcat :: [SatisfactionContext] -> SatisfactionContext #

Semigroup SatisfactionContext Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

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

sconcat :: NonEmpty SatisfactionContext -> SatisfactionContext #

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

Show SatisfactionContext Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> SatisfactionContext -> ShowS #

show :: SatisfactionContext -> String #

showList :: [SatisfactionContext] -> ShowS #

Eq SatisfactionContext Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

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

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

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

signature :: PubKeyI -> Signature -> SatisfactionContext Source #

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

preimage Source #

Arguments

:: ByteString

hash

-> ByteString

preimage

-> SatisfactionContext 

Use with the monoid instance to add preimage to the SatisfactionContext

lookupSignature :: PubKeyI -> SatisfactionContext -> Maybe Signature Source #

lookupPreimage :: ByteString -> SatisfactionContext -> Maybe ByteString Source #

data ChainState Source #

Constructors

ChainState 

Fields

Instances

Instances details
Show ChainState Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> ChainState -> ShowS #

show :: ChainState -> String #

showList :: [ChainState] -> ShowS #

Eq ChainState Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

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

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

emptyChainState :: ChainState Source #

data Signature Source #

Constructors

Signature 

Fields

Instances

Instances details
Show Signature Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> Signature -> ShowS #

show :: Signature -> String #

showList :: [Signature] -> ShowS #

Eq Signature Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

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

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

data SatisfactionError Source #

Constructors

MissingSignature [KeyDescriptor] 
MissingPreimage ByteString 
FreeVariable Text 
TypeError Text Miniscript 
Impossible 
AbstractKey KeyDescriptor 

Instances

Instances details
Exception SatisfactionError Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

toException :: SatisfactionError -> SomeException #

fromException :: SomeException -> Maybe SatisfactionError #

displayException :: SatisfactionError -> String #

Show SatisfactionError Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

showsPrec :: Int -> SatisfactionError -> ShowS #

show :: SatisfactionError -> String #

showList :: [SatisfactionError] -> ShowS #

Eq SatisfactionError Source # 
Instance details

Defined in Language.Bitcoin.Miniscript.Witness

Methods

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

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