shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Cardano.Ledger.Shelley.Constraints

Synopsis

Documentation

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"