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 Cardano.Ledger.Shelley 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 Cardano.Ledger.Shelley type Script (ShelleyEra c) = MultiSig c

AuxiliaryData which may be attached to a transaction

Instances details

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

Constraint synonyms

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