Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Internal.Definition.Era

Synopsis

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era where
- type EraName era ∷ Symbol
- type PreviousEra era = (r ∷ Type) | r → era
- type ProtVerLow era ∷ Nat
- type ProtVerHigh era ∷ Nat
- eraName ∷ String
class (KnownSymbol eraName, Era (EraFromName eraName), EraName (EraFromName eraName) ~ eraName) ⇒ EraHasName eraName where
- type EraFromName eraName = (era ∷ Type) | era → eraName
data ByronEra
data ShelleyEra
data AllegraEra
data MaryEra
data AlonzoEra
data BabbageEra
data ConwayEra
data DijkstraEra

Documentation

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era where Source #

Minimal complete definition

Nothing

Associated Types

type EraName era ∷ Symbol Source #

type PreviousEra era = (r ∷ Type) | r → era Source #

Map an era to its predecessor.

For example:

type instance PreviousEra AllegraEra = ShelleyEra

type ProtVerLow era ∷ Nat Source #

Lowest major protocol version for this era

type ProtVerHigh era ∷ Nat Source #

Highest major protocol version for this era. By default se to ProtVerLow

type ProtVerHigh era = ProtVerLow era

Methods

eraName ∷ String Source #

Textual name of the current era.

Designed to be used with TypeApplications:

>>> eraName @ByronEra
"Byron"

default eraName ∷ KnownSymbol (EraName era) ⇒ String Source #

Instances

Instances details

Era AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName AllegraEra ∷ Symbol Source # type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String Source #
Era AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName AlonzoEra ∷ Symbol Source # type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
Era BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName BabbageEra ∷ Symbol Source # type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ByronEra ∷ Symbol Source # type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ConwayEra ∷ Symbol Source # type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
Era DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName DijkstraEra ∷ Symbol Source # type PreviousEra DijkstraEra = (r ∷ Type) Source # type ProtVerLow DijkstraEra ∷ Nat Source # type ProtVerHigh DijkstraEra ∷ Nat Source # Methods eraName ∷ String Source #
Era MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName MaryEra ∷ Symbol Source # type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ShelleyEra ∷ Symbol Source # type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #

class (KnownSymbol eraName, Era (EraFromName eraName), EraName (EraFromName eraName) ~ eraName) ⇒ EraHasName eraName Source #

This class exists in order to be able to derive the protocol version range for an era from its name. It is achieved by the means of injective definition of an era type from its name. This effectively closes the world for eras to only the ones that are deined in this module, however it does have to be that way. In other words, if there is ever a need to define custom eras that build on top of existing ledger eras, then we will need to remove injectivity from this type class as well as from the PreviousEra type family.

Associated Types

type EraFromName eraName = (era ∷ Type) | era → eraName Source #

Instances

Instances details

EraHasName "Allegra" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Allegra" = (era ∷ Type) Source #
EraHasName "Alonzo" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Alonzo" = (era ∷ Type) Source #
EraHasName "Babbage" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Babbage" = (era ∷ Type) Source #
EraHasName "Byron" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Byron" = (era ∷ Type) Source #
EraHasName "Conway" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Conway" = (era ∷ Type) Source #
EraHasName "Dijkstra" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Dijkstra" = (era ∷ Type) Source #
EraHasName "Mary" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Mary" = (era ∷ Type) Source #
EraHasName "Shelley" Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraFromName "Shelley" = (era ∷ Type) Source #

data ByronEra Source #

This is the era that preceded Shelley era. It cannot have any other class instances, except for Era type class.

Instances

Instances details

Era ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ByronEra ∷ Symbol Source # type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ByronEra = "Byron"
type PreviousEra ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ByronEra
type ProtVerHigh ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1
type ProtVerLow ByronEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ByronEra = 0

data ShelleyEra Source #

Instances

Instances details

Era ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ShelleyEra ∷ Symbol Source # type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2

data AllegraEra Source #

Instances

Instances details

Era AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName AllegraEra ∷ Symbol Source # type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3

data MaryEra Source #

Instances

Instances details

Era MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName MaryEra ∷ Symbol Source # type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerHigh MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra
type ProtVerLow MaryEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4

data AlonzoEra Source #

Instances

Instances details

Era AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName AlonzoEra ∷ Symbol Source # type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerHigh AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6
type ProtVerLow AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5

data BabbageEra Source #

Instances

Instances details

Era BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName BabbageEra ∷ Symbol Source # type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerHigh BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8
type ProtVerLow BabbageEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7

data ConwayEra Source #

Instances

Instances details

Era ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ConwayEra ∷ Symbol Source # type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerHigh ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11
type ProtVerLow ConwayEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9

data DijkstraEra Source #

Instances

Instances details

Era DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName DijkstraEra ∷ Symbol Source # type PreviousEra DijkstraEra = (r ∷ Type) Source # type ProtVerLow DijkstraEra ∷ Nat Source # type ProtVerHigh DijkstraEra ∷ Nat Source # Methods eraName ∷ String Source #
type EraName DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerHigh DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12
type ProtVerLow DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12