Safe Haskell	None
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 ∷ Symbol) where
- type EraFromName (eraName ∷ Symbol) = (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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

eraName ∷ String Source #

Era AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

eraName ∷ String Source #

Era BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

Methods

eraName ∷ String Source #

Era ByronEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ByronEra = "Byron"
type PreviousEra ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ByronEra
type ProtVerLow ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ByronEra = 0
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1

Methods

eraName ∷ String Source #

Era ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

Methods

eraName ∷ String Source #

Era DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

Methods

eraName ∷ String Source #

Era MaryEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

eraName ∷ String Source #

Era ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

eraName ∷ String Source #

class (KnownSymbol eraName, Era (EraFromName eraName), EraName (EraFromName eraName) ~ eraName) ⇒ EraHasName (eraName ∷ Symbol) 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 ∷ Symbol) = (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"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Allegra" = AllegraEra

EraHasName "Alonzo" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Alonzo"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Alonzo" = AlonzoEra

EraHasName "Babbage" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Babbage"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Babbage" = BabbageEra

EraHasName "Byron" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Byron"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Byron" = ByronEra

EraHasName "Conway" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Conway"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Conway" = ConwayEra

EraHasName "Dijkstra" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Dijkstra"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Dijkstra" = DijkstraEra

EraHasName "Mary" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Mary"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Mary" = MaryEra

EraHasName "Shelley" Source #

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraFromName "Shelley"
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraFromName "Shelley" = ShelleyEra

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ByronEra = "Byron"
type PreviousEra ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ByronEra
type ProtVerLow ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ByronEra = 0
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

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
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

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