Safe Haskell | None |
---|---|
Language | Haskell98 |
Cardano.Ledger.Core
Description
This module defines core type families which we know to vary from era to era.
Families in this module should be indexed on era.
It is intended for qualified import: > import qualified Cardano.Ledger.Core as Core
Era-changing types
type family TxBody era ∷ Type Source #
The body of a transaction.
Instances
type TxBody (ShelleyEra c) Source # | |
Defined in Shelley.Spec.Ledger.TxBody |
type family Value era ∷ Type Source #
A value is something which quantifies a transaction output.
Instances
type Value (ShelleyEra c) Source # | |
Defined in Cardano.Ledger.Shelley |
type family Script era ∷ Type Source #
Scripts which may lock transaction outputs in this era
Instances
type Script (ShelleyEra c) Source # | |
Defined in Shelley.Spec.Ledger.Scripts |
Constraint synonyms
type SerialisableData t = (FromCBOR t, ToCBOR t) Source #
Constraints for serialising from/to CBOR