Safe Haskell	None
Language	Haskell98

Cardano.Ledger.Core

Contents

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

Era-changing types

type family TxBody era ∷ Type Source #

The body of a transaction.

Instances details

type TxBody (ShelleyEra c) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody type TxBody (ShelleyEra c) = TxBody (ShelleyEra c)

type family Value era ∷ Type Source #

A value is something which quantifies a transaction output.

Instances details

type Value (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley type Value (ShelleyEra c) = Coin

type family Script era ∷ Type Source #

Scripts which may lock transaction outputs in this era

Instances details

type Script (ShelleyEra c) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)

Constraint synonyms

type ChainData t = (Eq t, Show t, NoThunks t, Typeable t) Source #

Common constraints

NOTE: Ord is not included, as Ord for a Block or a NewEpochState doesn't make sense.

Constraints for serialising from/to CBOR

Constraints for serialising from/to CBOR using Annotator