Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Tx

Synopsis

data Tx era where
- pattern Tx :: ( Era era, ToCBOR ( AuxiliaryData era), ToCBOR ( TxBody era), ToCBOR ( Witnesses era)) => TxBody era -> Witnesses era -> StrictMaybe ( AuxiliaryData era) -> Tx era
newtype TxBody era where
- TxBodyConstr ( MemoBytes ( TxBodyRaw era))
- pattern TxBody :: ( Era era, FromCBOR ( PParamsDelta era), TransTxBody ToCBOR era) => Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> SlotNo -> StrictMaybe ( Update era) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> TxBody era
data TxOut era where
- TxOutCompact !( CompactAddr ( Crypto era)) !( CompactForm ( Value era))
- pattern TxOut :: ( Era era, Show ( Value era), Compactible ( Value era)) => Addr ( Crypto era) -> Value era -> TxOut era
data TxIn crypto = TxIn !( TxId crypto) ! TxIx
newtype TxId crypto = TxId {
- _unTxId :: SafeHash crypto EraIndependentTxBody
}
decodeWits :: forall era s. ( FromCBOR ( Annotator ( Script era)), ValidateScript era) => Decoder s ( Annotator ( WitnessSet era))
segwitTx :: ( ToCBOR ( TxBody era), ToCBOR ( Witnesses era), ToCBOR ( AuxiliaryData era)) => Annotator ( TxBody era) -> Annotator ( Witnesses era) -> Maybe ( Annotator ( AuxiliaryData era)) -> Annotator ( Tx era)
type WitnessSet = WitnessSetHKD Identity
data WitnessSetHKD f era where
- pattern WitnessSet :: ( Era era, AnnotatedData ( Script era)) => Set ( WitVKey ' Witness ( Crypto era)) -> Map ( ScriptHash ( Crypto era)) ( Script era) -> Set ( BootstrapWitness ( Crypto era)) -> WitnessSet era
data WitVKey kr crypto where
- pattern WitVKey :: ( Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> WitVKey kr crypto
class ( Era era, SafeToHash ( Script era), HasField "body" ( Tx era) ( TxBody era)) => ValidateScript era where
- scriptPrefixTag :: Script era -> ByteString
- validateScript :: Script era -> Tx era -> Bool
- hashScript :: Script era -> ScriptHash ( Crypto era)
- isNativeScript :: Script era -> Bool
txwitsScript :: Witnesses era ~ WitnessSet era => Tx era -> Map ( ScriptHash ( Crypto era)) ( Script era)
extractKeyHashWitnessSet :: forall (r :: KeyRole ) crypto. [ Credential r crypto] -> Set ( KeyHash ' Witness crypto)
addrWits' :: WitnessSetHKD f era -> HKD f ( Set ( WitVKey ' Witness ( Crypto era)))
evalNativeMultiSigScript :: Crypto crypto => MultiSig crypto -> Set ( KeyHash ' Witness crypto) -> Bool
hashMultiSigScript :: forall era. ( ValidateScript era, Script era ~ MultiSig ( Crypto era)) => MultiSig ( Crypto era) -> ScriptHash ( Crypto era)
validateNativeMultiSigScript :: ( TransTx ToCBOR era, Witnesses era ~ WitnessSet era) => MultiSig ( Crypto era) -> Tx era -> Bool
type TransTx (c :: Type -> Constraint ) era = ( Era era, c ( Script era), c ( TxBody era), c ( AuxiliaryData era))
type TransWitnessSet (c :: Type -> Constraint ) era = c ( Script era)
prettyWitnessSetParts :: WitnessSetHKD Identity era -> ( Set ( WitVKey ' Witness ( Crypto era)), Map ( ScriptHash ( Crypto era)) ( Script era), Set ( BootstrapWitness ( Crypto era)))

Documentation

data Tx era where Source #

Bundled Patterns

pattern Tx :: ( Era era, ToCBOR ( AuxiliaryData era), ToCBOR ( TxBody era), ToCBOR ( Witnesses era)) => TxBody era -> Witnesses era -> StrictMaybe ( AuxiliaryData era) -> Tx era

Instances

Instances details

body ~ TxBody era => HasField "body" ( Tx era) body Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> body Source #
HasField "txsize" ( Tx era) Integer Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Integer Source #
wits ~ Witnesses era => HasField "wits" ( Tx era) wits Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> wits Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( WitVKey ' Witness c) Source #
aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> StrictMaybe aux Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( BootstrapWitness c) Source #
(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Map ( ScriptHash c) script Source #
Eq ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) :: Tx era -> Tx era -> Bool Source # (/=) :: Tx era -> Tx era -> Bool Source #
( Era era, Show ( AuxiliaryData era), Show ( TxBody era), Show ( Witnesses era)) => Show ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec :: Int -> Tx era -> ShowS Source # show :: Tx era -> String Source # showList :: [ Tx era] -> ShowS Source #
( NFData ( TxBody era), NFData ( Witnesses era), NFData ( AuxiliaryData era)) => NFData ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf :: Tx era -> () Source #
Typeable era => ToCBOR ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR :: Tx era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Tx era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Tx era] -> Size Source #
( Era era, FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era))) => FromCBOR ( Annotator ( Tx era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods fromCBOR :: Decoder s ( Annotator ( Tx era)) Source # label :: Proxy ( Annotator ( Tx era)) -> Text Source #
SafeToHash ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes :: Tx era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Tx era -> SafeHash c index Source #
( Era era, NoThunks ( AuxiliaryData era), NoThunks ( TxBody era), NoThunks ( Witnesses era)) => NoThunks ( Tx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Tx era) -> String Source #

newtype TxBody era Source #

Constructors

TxBodyConstr ( MemoBytes ( TxBodyRaw era))

Bundled Patterns

pattern TxBody :: ( Era era, FromCBOR ( PParamsDelta era), TransTxBody ToCBOR era) => Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> SlotNo -> StrictMaybe ( Update era) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> TxBody era

Pattern for use by external users

Instances

Instances details

HasField "ttl" ( TxBody era) SlotNo Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> SlotNo Source #
HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Coin Source #
Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash crypto) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
c ~ Crypto era => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
TxOut era ~ out => HasField "outputs" ( TxBody era) ( StrictSeq out) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictSeq out Source #
c ~ Crypto era => HasField "txinputs_fee" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictMaybe ( Update era) Source #
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
( Era era, TransTxBody Eq era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, TransTxBody Show era) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Generic ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( TxBody era) :: Type -> Type Source # Methods from :: TxBody era -> Rep ( TxBody era) x Source # to :: Rep ( TxBody era) x -> TxBody era Source #
( NFData ( TxOut era), Crypto ( Crypto era), NFData ( PParamsDelta era)) => NFData ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxBody era -> () Source #
Era era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxBody era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBody era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBody era] -> Size Source #
( Era era, FromCBOR ( TxOut era), FromCBOR ( PParamsDelta era), ToCBOR ( PParamsDelta era)) => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes :: TxBody era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody era -> SafeHash c index Source #
( TransTxBody NoThunks era, Typeable era) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBody era) -> String Source #
( Era era, c ~ Crypto era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #
type Rep ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( TxBody era) = D1 (' MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "TxBodyConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes ( TxBodyRaw era)))))

data TxOut era Source #

The output of a UTxO.

Constructors

TxOutCompact !( CompactAddr ( Crypto era)) !( CompactForm ( Value era))

Bundled Patterns

pattern TxOut :: ( Era era, Show ( Value era), Compactible ( Value era)) => Addr ( Crypto era) -> Value era -> TxOut era

Instances

Instances details

( Compactible v, v ~ Value era) => HasField "value" ( TxOut era) v Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxOut era -> v Source #
TransTxOut Eq era => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( TransTxOut Show era, Era era) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
NFData ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, TransTxOut ToCBOR era) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxOut era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxOut era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxOut era] -> Size Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Share ( TxOut era) Source # Methods getShare :: TxOut era -> Share ( TxOut era) Source # fromSharedCBOR :: Share ( TxOut era) -> Decoder s ( TxOut era) Source # fromSharedPlusCBOR :: StateT ( Share ( TxOut era)) ( Decoder s) ( TxOut era) Source #
( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods heapWords :: TxOut era -> Int Source #
NoThunks ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
type Share ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

data TxIn crypto Source #

The input of a UTxO.

Constructors

TxIn !( TxId crypto) ! TxIx

Instances

Instances details

Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
c ~ Crypto era => HasField "txinputs_fee" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Eq ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxIn crypto -> TxIn crypto -> Bool Source # (/=) :: TxIn crypto -> TxIn crypto -> Bool Source #
Ord ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxIn crypto -> TxIn crypto -> Ordering Source # (<) :: TxIn crypto -> TxIn crypto -> Bool Source # (<=) :: TxIn crypto -> TxIn crypto -> Bool Source # (>) :: TxIn crypto -> TxIn crypto -> Bool Source # (>=) :: TxIn crypto -> TxIn crypto -> Bool Source # max :: TxIn crypto -> TxIn crypto -> TxIn crypto Source # min :: TxIn crypto -> TxIn crypto -> TxIn crypto Source #
Show ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxIn crypto -> ShowS Source # show :: TxIn crypto -> String Source # showList :: [ TxIn crypto] -> ShowS Source #
Generic ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep ( TxIn crypto) :: Type -> Type Source # Methods from :: TxIn crypto -> Rep ( TxIn crypto) x Source # to :: Rep ( TxIn crypto) x -> TxIn crypto Source #
Crypto crypto => NFData ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxIn crypto -> () Source #
Crypto crypto => ToCBOR ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods toCBOR :: TxIn crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxIn crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxIn crypto] -> Size Source #
Crypto crypto => FromCBOR ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods fromCBOR :: Decoder s ( TxIn crypto) Source # label :: Proxy ( TxIn crypto) -> Text Source #
Crypto crypto => HeapWords ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxIn crypto -> Int Source #
NoThunks ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxIn crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxIn crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxIn crypto) -> String Source #
type Rep ( TxIn crypto)
Instance details Defined in Cardano.Ledger.TxIn type Rep ( TxIn crypto) = D1 (' MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "TxIn" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxId crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' SourceUnpack ' SourceStrict ' DecidedUnpack ) ( Rec0 TxIx )))

newtype TxId crypto Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId
Fields _unTxId :: SafeHash crypto EraIndependentTxBody

Instances

Instances details

Eq ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxId crypto -> TxId crypto -> Bool Source # (/=) :: TxId crypto -> TxId crypto -> Bool Source #
Ord ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxId crypto -> TxId crypto -> Ordering Source # (<) :: TxId crypto -> TxId crypto -> Bool Source # (<=) :: TxId crypto -> TxId crypto -> Bool Source # (>) :: TxId crypto -> TxId crypto -> Bool Source # (>=) :: TxId crypto -> TxId crypto -> Bool Source # max :: TxId crypto -> TxId crypto -> TxId crypto Source # min :: TxId crypto -> TxId crypto -> TxId crypto Source #
Show ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxId crypto -> ShowS Source # show :: TxId crypto -> String Source # showList :: [ TxId crypto] -> ShowS Source #
Generic ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep ( TxId crypto) :: Type -> Type Source # Methods from :: TxId crypto -> Rep ( TxId crypto) x Source # to :: Rep ( TxId crypto) x -> TxId crypto Source #
Crypto crypto => NFData ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxId crypto -> () Source #
Crypto crypto => ToCBOR ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods toCBOR :: TxId crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxId crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxId crypto] -> Size Source #
Crypto crypto => FromCBOR ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods fromCBOR :: Decoder s ( TxId crypto) Source # label :: Proxy ( TxId crypto) -> Text Source #
HeapWords ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxId crypto -> Int Source #
NoThunks ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxId crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxId crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxId crypto) -> String Source #
type Rep ( TxId crypto)
Instance details Defined in Cardano.Ledger.TxIn type Rep ( TxId crypto) = D1 (' MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "TxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_unTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SafeHash crypto EraIndependentTxBody ))))

decodeWits :: forall era s. ( FromCBOR ( Annotator ( Script era)), ValidateScript era) => Decoder s ( Annotator ( WitnessSet era)) Source #

segwitTx :: ( ToCBOR ( TxBody era), ToCBOR ( Witnesses era), ToCBOR ( AuxiliaryData era)) => Annotator ( TxBody era) -> Annotator ( Witnesses era) -> Maybe ( Annotator ( AuxiliaryData era)) -> Annotator ( Tx era) Source #

type WitnessSet = WitnessSetHKD Identity Source #

data WitnessSetHKD f era where Source #

Bundled Patterns

pattern WitnessSet :: ( Era era, AnnotatedData ( Script era)) => Set ( WitVKey ' Witness ( Crypto era)) -> Map ( ScriptHash ( Crypto era)) ( Script era) -> Set ( BootstrapWitness ( Crypto era)) -> WitnessSet era

Instances

Instances details

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( WitnessSet era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Set ( WitVKey ' Witness c) Source #
(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( WitnessSet era) ( Map ( ScriptHash c) script) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Map ( ScriptHash c) script Source #
( Typeable era, FromCBOR ( Annotator ( Script era)), ValidateScript era) => FromCBOR ( Annotator ( WitnessSetHKD Identity era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods fromCBOR :: Decoder s ( Annotator ( WitnessSetHKD Identity era)) Source # label :: Proxy ( Annotator ( WitnessSetHKD Identity era)) -> Text Source #
( Era era, TransWitnessSet Eq era) => Eq ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> Bool Source # (/=) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> Bool Source #
( Era era, TransWitnessSet Show era) => Show ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec :: Int -> WitnessSetHKD Identity era -> ShowS Source # show :: WitnessSetHKD Identity era -> String Source # showList :: [ WitnessSetHKD Identity era] -> ShowS Source #
Era era => Generic ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep ( WitnessSetHKD Identity era) :: Type -> Type Source # Methods from :: WitnessSetHKD Identity era -> Rep ( WitnessSetHKD Identity era) x Source # to :: Rep ( WitnessSetHKD Identity era) x -> WitnessSetHKD Identity era Source #
( Era era, AnnotatedData ( Script era)) => Semigroup ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (<>) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source # sconcat :: NonEmpty ( WitnessSetHKD Identity era) -> WitnessSetHKD Identity era Source # stimes :: Integral b => b -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source #
( Era era, AnnotatedData ( Script era)) => Monoid ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods mempty :: WitnessSetHKD Identity era Source # mappend :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source # mconcat :: [ WitnessSetHKD Identity era] -> WitnessSetHKD Identity era Source #
( Era era, NFData ( Script era), NFData ( WitVKey ' Witness ( Crypto era)), NFData ( BootstrapWitness ( Crypto era))) => NFData ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf :: WitnessSetHKD Identity era -> () Source #
Era era => ToCBOR ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR :: WitnessSetHKD Identity era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( WitnessSetHKD Identity era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ WitnessSetHKD Identity era] -> Size Source #
SafeToHash ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes :: WitnessSetHKD Identity era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> WitnessSetHKD Identity era -> SafeHash c index Source #
( Era era, TransWitnessSet NoThunks era) => NoThunks ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks :: Context -> WitnessSetHKD Identity era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> WitnessSetHKD Identity era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( WitnessSetHKD Identity era) -> String Source #
type Rep ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep ( WitnessSetHKD Identity era)

data WitVKey kr crypto where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey :: ( Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> WitVKey kr crypto

Instances

Instances details

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( WitnessSet era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Set ( WitVKey ' Witness c) Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( WitVKey ' Witness c) Source #
( Typeable kr, Crypto crypto) => FromCBOR ( Annotator ( WitVKey kr crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Annotator ( WitVKey kr crypto)) Source # label :: Proxy ( Annotator ( WitVKey kr crypto)) -> Text Source #
Crypto crypto => Eq ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (/=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source #
( Typeable kr, Crypto crypto) => Ord ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: WitVKey kr crypto -> WitVKey kr crypto -> Ordering Source # (<) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (<=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (>) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (>=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # max :: WitVKey kr crypto -> WitVKey kr crypto -> WitVKey kr crypto Source # min :: WitVKey kr crypto -> WitVKey kr crypto -> WitVKey kr crypto Source #
Crypto crypto => Show ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> WitVKey kr crypto -> ShowS Source # show :: WitVKey kr crypto -> String Source # showList :: [ WitVKey kr crypto] -> ShowS Source #
Generic ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( WitVKey kr crypto) :: Type -> Type Source # Methods from :: WitVKey kr crypto -> Rep ( WitVKey kr crypto) x Source # to :: Rep ( WitVKey kr crypto) x -> WitVKey kr crypto Source #
NFData ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: WitVKey kr crypto -> () Source #
( Typeable kr, Crypto crypto) => ToCBOR ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: WitVKey kr crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( WitVKey kr crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ WitVKey kr crypto] -> Size Source #
( Crypto crypto, Typeable kr) => NoThunks ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> WitVKey kr crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> WitVKey kr crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( WitVKey kr crypto) -> String Source #
type Rep ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( WitVKey kr crypto) = D1 (' MetaData "WitVKey" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "WitVKey'" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "wvkKey'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VKey kr crypto)) :: S1 (' MetaSel (' Just "wvkSig'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignedDSIGN crypto ( Hash crypto EraIndependentTxBody )))) :: ( S1 (' MetaSel (' Just "wvkKeyHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Witness crypto)) :*: S1 (' MetaSel (' Just "wvkBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString ))))

class ( Era era, SafeToHash ( Script era), HasField "body" ( Tx era) ( TxBody era)) => ValidateScript era where Source #

Typeclass for script data types. Allows for script validation and hashing. You must understand the role of SafeToHash and scriptPrefixTag to make new instances. scriptPrefixTag is a magic number representing the tag of the script language. For each new script language defined, a new tag is chosen and the tag is included in the script hash for a script. The safeToHash constraint ensures that Scripts are never reserialised.

Minimal complete definition

scriptPrefixTag , validateScript

Methods

scriptPrefixTag :: Script era -> ByteString Source #

validateScript :: Script era -> Tx era -> Bool Source #

hashScript :: Script era -> ScriptHash ( Crypto era) Source #

isNativeScript :: Script era -> Bool Source #

Instances

Instances details

( Crypto c, UsesTxBody ( ShelleyEra c)) => ValidateScript ( ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley Methods scriptPrefixTag :: Script ( ShelleyEra c) -> ByteString Source # validateScript :: Script ( ShelleyEra c) -> Tx ( ShelleyEra c) -> Bool Source # hashScript :: Script ( ShelleyEra c) -> ScriptHash ( Crypto ( ShelleyEra c)) Source # isNativeScript :: Script ( ShelleyEra c) -> Bool Source #

txwitsScript :: Witnesses era ~ WitnessSet era => Tx era -> Map ( ScriptHash ( Crypto era)) ( Script era) Source #

Multi-signature script witness accessor function for Transactions

extractKeyHashWitnessSet :: forall (r :: KeyRole ) crypto. [ Credential r crypto] -> Set ( KeyHash ' Witness crypto) Source #

addrWits' :: WitnessSetHKD f era -> HKD f ( Set ( WitVKey ' Witness ( Crypto era))) Source #

evalNativeMultiSigScript :: Crypto crypto => MultiSig crypto -> Set ( KeyHash ' Witness crypto) -> Bool Source #

Script evaluator for native multi-signature scheme. vhks is the set of key hashes that signed the transaction to be validated.

hashMultiSigScript :: forall era. ( ValidateScript era, Script era ~ MultiSig ( Crypto era)) => MultiSig ( Crypto era) -> ScriptHash ( Crypto era) Source #

Hashes native multi-signature script.

validateNativeMultiSigScript :: ( TransTx ToCBOR era, Witnesses era ~ WitnessSet era) => MultiSig ( Crypto era) -> Tx era -> Bool Source #

Script validator for native multi-signature scheme.

type TransTx (c :: Type -> Constraint ) era = ( Era era, c ( Script era), c ( TxBody era), c ( AuxiliaryData era)) Source #

type TransWitnessSet (c :: Type -> Constraint ) era = c ( Script era) Source #

prettyWitnessSetParts :: WitnessSetHKD Identity era -> ( Set ( WitVKey ' Witness ( Crypto era)), Map ( ScriptHash ( Crypto era)) ( Script era), Set ( BootstrapWitness ( Crypto era))) Source #

Exports the relevant parts from a (WintessSetHKD Identity era) for use by the pretty printer without all the horrible constraints. Uses the non-exported WitnessSet' constructor.