Safe Haskell | None |
---|---|
Language | Haskell98 |
Cardano.Ledger.Shelley.Constraints
Synopsis
- type TxBodyConstraints era = (ChainData (TxBody era), AnnotatedData (TxBody era), HashAnnotated (TxBody era) era, HashIndex (TxBody era) ~ EraIndependentTxBody)
- type ShelleyBased era = (Era era, Val (Value era), Compactible (Value era), DecodeNonNegative (Value era), ChainData (Value era), Eq (CompactForm (Value era)), SerialisableData (Value era), SerialisableData (CompactForm (Value era)), ChainData (Delta (Value era)), SerialisableData (Delta (Value era)), Torsor (Value era), TxBodyConstraints era, ChainData (Script era), AnnotatedData (Script era), ChainData (AuxiliaryData era), AnnotatedData (AuxiliaryData era))
Documentation
type TxBodyConstraints era = (ChainData (TxBody era), AnnotatedData (TxBody era), HashAnnotated (TxBody era) era, HashIndex (TxBody era) ~ EraIndependentTxBody) Source #
type ShelleyBased era = (Era era, Val (Value era), Compactible (Value era), DecodeNonNegative (Value era), ChainData (Value era), Eq (CompactForm (Value era)), SerialisableData (Value era), SerialisableData (CompactForm (Value era)), ChainData (Delta (Value era)), SerialisableData (Delta (Value era)), Torsor (Value era), TxBodyConstraints era, ChainData (Script era), AnnotatedData (Script era), ChainData (AuxiliaryData era), AnnotatedData (AuxiliaryData era)) Source #
General constraints that will hold true for ledgers which are based on Shelley, and share similar serialisation formats"