Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.ShelleyMA.TxBody
Synopsis
- newtype TxBody e where
- TxBodyConstr (MemoBytes (TxBodyRaw e))
- pattern TxBody :: (Val (Value era), FamsTo era) => Set (TxIn (Crypto era)) -> StrictSeq (TxOut era) -> StrictSeq (DCert (Crypto era)) -> Wdrl (Crypto era) -> Coin -> ValidityInterval -> StrictMaybe (Update era) -> StrictMaybe (AuxiliaryDataHash (Crypto era)) -> Value era -> TxBody era
- data TxBodyRaw era = TxBodyRaw {}
- type FamsFrom era = (Era era, Typeable era, Typeable (Script era), Typeable (AuxiliaryData era), Show (Value era), Compactible (Value era), DecodeNonNegative (Value era), DecodeMint (Value era), FromCBOR (CompactForm (Value era)), FromCBOR (Value era), FromCBOR (Annotator (Script era)))
- type FamsTo era = (Era era, ToCBOR (Value era), Compactible (Value era), EncodeMint (Value era), ToCBOR (CompactForm (Value era)), ToCBOR (Script era), Typeable (AuxiliaryData era))
- txSparse :: (Val (Value era), FamsTo era) => TxBodyRaw era -> Encode ('Closed 'Sparse) (TxBodyRaw era)
- bodyFields :: FamsFrom era => Word -> Field (TxBodyRaw era)
- data StrictMaybe a
- isSNothing :: StrictMaybe a -> Bool
- fromSJust :: StrictMaybe a -> a
- data ValidityInterval = ValidityInterval {
- invalidBefore :: !(StrictMaybe SlotNo)
- invalidHereafter :: !(StrictMaybe SlotNo)
- initial :: Val (Value era) => TxBodyRaw era
Documentation
Constructors
TxBodyConstr (MemoBytes (TxBodyRaw e)) |
Bundled Patterns
pattern TxBody :: (Val (Value era), FamsTo era) => Set (TxIn (Crypto era)) -> StrictSeq (TxOut era) -> StrictSeq (DCert (Crypto era)) -> Wdrl (Crypto era) -> Coin -> ValidityInterval -> StrictMaybe (Update era) -> StrictMaybe (AuxiliaryDataHash (Crypto era)) -> Value era -> TxBody era |
Instances
Constructors
TxBodyRaw | |
Fields
|
Instances
type FamsFrom era = (Era era, Typeable era, Typeable (Script era), Typeable (AuxiliaryData era), Show (Value era), Compactible (Value era), DecodeNonNegative (Value era), DecodeMint (Value era), FromCBOR (CompactForm (Value era)), FromCBOR (Value era), FromCBOR (Annotator (Script era))) Source #
type FamsTo era = (Era era, ToCBOR (Value era), Compactible (Value era), EncodeMint (Value era), ToCBOR (CompactForm (Value era)), ToCBOR (Script era), Typeable (AuxiliaryData era)) Source #
txSparse :: (Val (Value era), FamsTo era) => TxBodyRaw era -> Encode ('Closed 'Sparse) (TxBodyRaw era) Source #
data StrictMaybe a Source #
Strict Maybe
.
TODO move to cardano-prelude
Instances
isSNothing :: StrictMaybe a -> Bool Source #
fromSJust :: StrictMaybe a -> a Source #
data ValidityInterval Source #
ValidityInterval is a half open interval. Closed on the bottom, Open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity
Constructors
ValidityInterval | |
Fields
|