shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

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

Era-changing types

type family TxBody era ∷ Type Source #

The body of a transaction.

Instances

Instances details
type TxBody (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type family Value era ∷ Type Source #

A value is something which quantifies a transaction output.

Instances

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

Instances details
type Script (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

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.

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