Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
Synopsis
- type family TxOut era = (r :: Type ) | r -> era
- type family TxBody era = (r :: Type ) | r -> era
- type family Value era :: Type
- type family Script era :: Type
- type family AuxiliaryData era = (r :: Type ) | r -> era
- type family PParams era = (r :: Type ) | r -> era
- type family PParamsDelta era = (r :: Type ) | r -> era
- type family Witnesses era = (r :: Type ) | r -> era
- type family Tx era = (r :: Type ) | r -> era
- type ChainData t = ( Eq t, Show t, NoThunks t, Typeable t)
- type SerialisableData t = ( FromCBOR t, ToCBOR t)
- type AnnotatedData t = ( FromCBOR ( Annotator t), ToCBOR t)
- type family EraRule (k :: Symbol ) era :: Type
Era-changing types
type family AuxiliaryData era = (r :: Type ) | r -> era Source #
AuxiliaryData which may be attached to a transaction
type family PParamsDelta era = (r :: Type ) | r -> era Source #
The type of updates to Protocol parameters
Re-exported fixed Tx
Constraint synonyms
type SerialisableData t = ( FromCBOR t, ToCBOR t) Source #
Constraints for serialising from/to CBOR
type AnnotatedData t = ( FromCBOR ( Annotator t), ToCBOR t) Source #
Constraints for serialising from/to CBOR using
Annotator