cardano-api:internal
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Eras.Core

Description

Cardano eras, sometimes we have to distinguish them.

Synopsis

Eras

data ByronEra Source #

A type used as a tag to distinguish the Byron era.

Instances

Instances details
IsCardanoEra ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ByronEra Source #

HasTypeProxy ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType ByronEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra

Methods

proxyToAsType :: Proxy ByronEra -> AsType ByronEra Source #

data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra

data ShelleyEra Source #

A type used as a tag to distinguish the Shelley era.

Instances

Instances details
IsShelleyBasedEra ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra ShelleyEra Source #

IsCardanoEra ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ShelleyEra Source #

HasTypeProxy ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType ShelleyEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra

Methods

proxyToAsType :: Proxy ShelleyEra -> AsType ShelleyEra Source #

data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra

data AllegraEra Source #

A type used as a tag to distinguish the Allegra era.

Instances

Instances details
IsAllegraBasedEra AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

allegraBasedEra :: AllegraEraOnwards AllegraEra Source #

IsShelleyBasedEra AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra AllegraEra Source #

IsCardanoEra AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra AllegraEra Source #

HasTypeProxy AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType AllegraEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra

Methods

proxyToAsType :: Proxy AllegraEra -> AsType AllegraEra Source #

data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra

data MaryEra Source #

A type used as a tag to distinguish the Mary era.

Instances

Instances details
IsAllegraBasedEra MaryEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

allegraBasedEra :: AllegraEraOnwards MaryEra Source #

IsMaryBasedEra MaryEra Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

maryBasedEra :: MaryEraOnwards MaryEra Source #

IsShelleyBasedEra MaryEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra MaryEra Source #

IsCardanoEra MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra MaryEra Source #

HasTypeProxy MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType MaryEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra

Methods

proxyToAsType :: Proxy MaryEra -> AsType MaryEra Source #

data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra

data AlonzoEra Source #

A type used as a tag to distinguish the Alonzo era.

Instances

Instances details
IsAllegraBasedEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

allegraBasedEra :: AllegraEraOnwards AlonzoEra Source #

IsAlonzoBasedEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

alonzoBasedEra :: AlonzoEraOnwards AlonzoEra Source #

IsMaryBasedEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

maryBasedEra :: MaryEraOnwards AlonzoEra Source #

IsShelleyBasedEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra AlonzoEra Source #

IsCardanoEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra AlonzoEra Source #

HasTypeProxy AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType AlonzoEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra

Methods

proxyToAsType :: Proxy AlonzoEra -> AsType AlonzoEra Source #

HasScriptLanguageInEra PlutusScriptV1 AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 AlonzoEra Source #

data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra

data BabbageEra Source #

A type used as a tag to distinguish the Babbage era.

Instances

Instances details
IsAllegraBasedEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

allegraBasedEra :: AllegraEraOnwards BabbageEra Source #

IsAlonzoBasedEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

alonzoBasedEra :: AlonzoEraOnwards BabbageEra Source #

IsBabbageBasedEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.BabbageEraOnwards

Methods

babbageBasedEra :: BabbageEraOnwards BabbageEra Source #

IsMaryBasedEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

maryBasedEra :: MaryEraOnwards BabbageEra Source #

IsShelleyBasedEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra BabbageEra Source #

IsCardanoEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra BabbageEra Source #

IsEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Experimental.Eras

Methods

useEra :: Era BabbageEra Source #

HasTypeProxy BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType BabbageEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra

Methods

proxyToAsType :: Proxy BabbageEra -> AsType BabbageEra Source #

HasScriptLanguageInEra PlutusScriptV1 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 BabbageEra Source #

HasScriptLanguageInEra PlutusScriptV2 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 BabbageEra Source #

ToAlonzoScript PlutusScriptV1 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #

ToAlonzoScript PlutusScriptV2 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #

data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra

data ConwayEra Source #

A type used as a tag to distinguish the Conway era.

Instances

Instances details
IsAllegraBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

allegraBasedEra :: AllegraEraOnwards ConwayEra Source #

IsAlonzoBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

alonzoBasedEra :: AlonzoEraOnwards ConwayEra Source #

IsBabbageBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.BabbageEraOnwards

Methods

babbageBasedEra :: BabbageEraOnwards ConwayEra Source #

IsConwayBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.ConwayEraOnwards

Methods

conwayBasedEra :: ConwayEraOnwards ConwayEra Source #

IsMaryBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

maryBasedEra :: MaryEraOnwards ConwayEra Source #

IsShelleyBasedEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

shelleyBasedEra :: ShelleyBasedEra ConwayEra Source #

IsCardanoEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ConwayEra Source #

IsEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Experimental.Eras

Methods

useEra :: Era ConwayEra Source #

HasTypeProxy ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Associated Types

data AsType ConwayEra 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra

Methods

proxyToAsType :: Proxy ConwayEra -> AsType ConwayEra Source #

HasScriptLanguageInEra PlutusScriptV1 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 ConwayEra Source #

HasScriptLanguageInEra PlutusScriptV2 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 ConwayEra Source #

HasScriptLanguageInEra PlutusScriptV3 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV3 ConwayEra Source #

ToAlonzoScript PlutusScriptV1 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

ToAlonzoScript PlutusScriptV2 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

ToAlonzoScript PlutusScriptV3 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toLedgerScript :: PlutusScript PlutusScriptV3 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra

CardanoEra

data CardanoEra era where Source #

This GADT provides a value-level representation of all the Cardano eras. This enables pattern matching on the era to allow them to be treated in a non-uniform way.

This can be used in combination with the IsCardanoEra class to get access to this value.

In combination this can often enable code that handles all eras, and does so uniformly where possible, and non-uniformly where necessary.

Constructors

ByronEra :: CardanoEra ByronEra 
ShelleyEra :: CardanoEra ShelleyEra 
AllegraEra :: CardanoEra AllegraEra 
MaryEra :: CardanoEra MaryEra 
AlonzoEra :: CardanoEra AlonzoEra 
BabbageEra :: CardanoEra BabbageEra 
ConwayEra :: CardanoEra ConwayEra 

Instances

Instances details
Eon CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

inEonForEra :: a -> (CardanoEra era -> a) -> CardanoEra era -> a Source #

ToCardanoEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

toCardanoEra :: CardanoEra era -> CardanoEra era Source #

TestEquality CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

testEquality :: CardanoEra a -> CardanoEra b -> Maybe (a :~: b) Source #

Convert AllegraEraOnwards CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

convert :: AllegraEraOnwards era -> CardanoEra era Source #

Convert AlonzoEraOnwards CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

convert :: AlonzoEraOnwards era -> CardanoEra era Source #

Convert BabbageEraOnwards CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.BabbageEraOnwards

Methods

convert :: BabbageEraOnwards era -> CardanoEra era Source #

Convert ByronToAlonzoEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ByronToAlonzoEra

Methods

convert :: ByronToAlonzoEra era -> CardanoEra era Source #

Convert ConwayEraOnwards CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ConwayEraOnwards

Methods

convert :: ConwayEraOnwards era -> CardanoEra era Source #

Convert MaryEraOnwards CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

convert :: MaryEraOnwards era -> CardanoEra era Source #

Convert ShelleyBasedEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

convert :: ShelleyBasedEra era -> CardanoEra era Source #

Convert ShelleyEraOnly CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyEraOnly

Methods

convert :: ShelleyEraOnly era -> CardanoEra era Source #

Convert ShelleyToAllegraEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAllegraEra

Methods

convert :: ShelleyToAllegraEra era -> CardanoEra era Source #

Convert ShelleyToAlonzoEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAlonzoEra

Methods

convert :: ShelleyToAlonzoEra era -> CardanoEra era Source #

Convert ShelleyToBabbageEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToBabbageEra

Methods

convert :: ShelleyToBabbageEra era -> CardanoEra era Source #

Convert ShelleyToMaryEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToMaryEra

Methods

convert :: ShelleyToMaryEra era -> CardanoEra era Source #

Convert Era CardanoEra Source # 
Instance details

Defined in Cardano.Api.Experimental.Eras

Methods

convert :: Era era -> CardanoEra era Source #

ToJSON (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

toJSON :: CardanoEra era -> Value #

toEncoding :: CardanoEra era -> Encoding #

toJSONList :: [CardanoEra era] -> Value #

toEncodingList :: [CardanoEra era] -> Encoding #

omitField :: CardanoEra era -> Bool #

Show (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

showsPrec :: Int -> CardanoEra era -> ShowS Source #

show :: CardanoEra era -> String Source #

showList :: [CardanoEra era] -> ShowS Source #

Eq (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

(==) :: CardanoEra era -> CardanoEra era -> Bool Source #

(/=) :: CardanoEra era -> CardanoEra era -> Bool Source #

Ord (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

compare :: CardanoEra era -> CardanoEra era -> Ordering Source #

(<) :: CardanoEra era -> CardanoEra era -> Bool Source #

(<=) :: CardanoEra era -> CardanoEra era -> Bool Source #

(>) :: CardanoEra era -> CardanoEra era -> Bool Source #

(>=) :: CardanoEra era -> CardanoEra era -> Bool Source #

max :: CardanoEra era -> CardanoEra era -> CardanoEra era Source #

min :: CardanoEra era -> CardanoEra era -> CardanoEra era Source #

Pretty (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

pretty :: CardanoEra era -> Doc ann #

prettyList :: [CardanoEra era] -> Doc ann #

class HasTypeProxy era => IsCardanoEra era where Source #

The class of Cardano eras. This allows uniform handling of all Cardano eras, but also non-uniform by making case distinctions on the CardanoEra constructors.

Methods

cardanoEra :: CardanoEra era Source #

Instances

Instances details
IsCardanoEra AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra AllegraEra Source #

IsCardanoEra AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra AlonzoEra Source #

IsCardanoEra BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra BabbageEra Source #

IsCardanoEra ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ByronEra Source #

IsCardanoEra ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ConwayEra Source #

IsCardanoEra MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra MaryEra Source #

IsCardanoEra ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

cardanoEra :: CardanoEra ShelleyEra Source #

data AnyCardanoEra where Source #

Constructors

AnyCardanoEra :: forall era. Typeable era => CardanoEra era -> AnyCardanoEra 

Instances

Instances details
FromJSON AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

parseJSON :: Value -> Parser AnyCardanoEra #

parseJSONList :: Value -> Parser [AnyCardanoEra] #

omittedField :: Maybe AnyCardanoEra #

ToJSON AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

toJSON :: AnyCardanoEra -> Value #

toEncoding :: AnyCardanoEra -> Encoding #

toJSONList :: [AnyCardanoEra] -> Value #

toEncodingList :: [AnyCardanoEra] -> Encoding #

omitField :: AnyCardanoEra -> Bool #

Bounded AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

minBound :: AnyCardanoEra Source #

maxBound :: AnyCardanoEra Source #

Enum AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

succ :: AnyCardanoEra -> AnyCardanoEra Source #

pred :: AnyCardanoEra -> AnyCardanoEra Source #

toEnum :: Int -> AnyCardanoEra Source #

fromEnum :: AnyCardanoEra -> Int Source #

enumFrom :: AnyCardanoEra -> [AnyCardanoEra] Source #

enumFromThen :: AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source #

enumFromTo :: AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source #

enumFromThenTo :: AnyCardanoEra -> AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source #

Show AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

showsPrec :: Int -> AnyCardanoEra -> ShowS Source #

show :: AnyCardanoEra -> String Source #

showList :: [AnyCardanoEra] -> ShowS Source #

Eq AnyCardanoEra Source #

Assumes that 'CardanoEra era' are singletons

Instance details

Defined in Cardano.Api.Eras.Core

Methods

(==) :: AnyCardanoEra -> AnyCardanoEra -> Bool Source #

(/=) :: AnyCardanoEra -> AnyCardanoEra -> Bool Source #

Pretty AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

pretty :: AnyCardanoEra -> Doc ann #

prettyList :: [AnyCardanoEra] -> Doc ann #

anyCardanoEra :: CardanoEra era -> AnyCardanoEra Source #

Like the AnyCardanoEra constructor but does not demand a IsCardanoEra class constraint.

data InAnyCardanoEra (thing :: Type -> Type) where Source #

This pairs up some era-dependent type with a CardanoEra value that tells us what era it is, but hides the era type. This is useful when the era is not statically known, for example when deserialising from a file.

Constructors

InAnyCardanoEra :: forall era (thing :: Type -> Type). Typeable era => CardanoEra era -> thing era -> InAnyCardanoEra thing 

Instances

Instances details
Show (InAnyCardanoEra Tx) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

Methods

showsPrec :: Int -> InAnyCardanoEra Tx -> ShowS Source #

show :: InAnyCardanoEra Tx -> String Source #

showList :: [InAnyCardanoEra Tx] -> ShowS Source #

Eq (InAnyCardanoEra Tx) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

Methods

(==) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source #

(/=) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source #

inAnyCardanoEra :: CardanoEra era -> thing era -> InAnyCardanoEra thing Source #

type family CardanoLedgerEra era = (ledgerera :: Type) | ledgerera -> era where ... Source #

A type family that connects our era type tags to equivalent type tags used in the ledger library.

This type mapping connect types from this API with types in the ledger library which allows writing conversion functions in a more generic way.

Equations

CardanoLedgerEra ByronEra = ByronEra StandardCrypto 
CardanoLedgerEra ShelleyEra = ShelleyEra StandardCrypto 
CardanoLedgerEra AllegraEra = AllegraEra StandardCrypto 
CardanoLedgerEra MaryEra = MaryEra StandardCrypto 
CardanoLedgerEra AlonzoEra = AlonzoEra StandardCrypto 
CardanoLedgerEra BabbageEra = BabbageEra StandardCrypto 
CardanoLedgerEra ConwayEra = ConwayEra StandardCrypto 

class ToCardanoEra (eon :: Type -> Type) where Source #

Methods

toCardanoEra :: eon era -> CardanoEra era Source #

Instances

Instances details
ToCardanoEra AllegraEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

toCardanoEra :: AllegraEraOnwards era -> CardanoEra era Source #

ToCardanoEra AlonzoEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

toCardanoEra :: AlonzoEraOnwards era -> CardanoEra era Source #

ToCardanoEra BabbageEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.BabbageEraOnwards

Methods

toCardanoEra :: BabbageEraOnwards era -> CardanoEra era Source #

ToCardanoEra ByronToAlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ByronToAlonzoEra

Methods

toCardanoEra :: ByronToAlonzoEra era -> CardanoEra era Source #

ToCardanoEra ConwayEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.ConwayEraOnwards

Methods

toCardanoEra :: ConwayEraOnwards era -> CardanoEra era Source #

ToCardanoEra MaryEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

toCardanoEra :: MaryEraOnwards era -> CardanoEra era Source #

ToCardanoEra ShelleyBasedEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

toCardanoEra :: ShelleyBasedEra era -> CardanoEra era Source #

ToCardanoEra ShelleyEraOnly Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyEraOnly

Methods

toCardanoEra :: ShelleyEraOnly era -> CardanoEra era Source #

ToCardanoEra ShelleyToAllegraEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAllegraEra

Methods

toCardanoEra :: ShelleyToAllegraEra era -> CardanoEra era Source #

ToCardanoEra ShelleyToAlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAlonzoEra

Methods

toCardanoEra :: ShelleyToAlonzoEra era -> CardanoEra era Source #

ToCardanoEra ShelleyToBabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToBabbageEra

Methods

toCardanoEra :: ShelleyToBabbageEra era -> CardanoEra era Source #

ToCardanoEra ShelleyToMaryEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToMaryEra

Methods

toCardanoEra :: ShelleyToMaryEra era -> CardanoEra era Source #

ToCardanoEra CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

toCardanoEra :: CardanoEra era -> CardanoEra era Source #

IsEon

class Eon (eon :: Type -> Type) where Source #

An Eon is a span of multiple eras. Eons are used to scope functionality to particular eras such that it isn't possible construct code that uses functionality that is outside of given eras.

Methods

inEonForEra Source #

Arguments

:: a

Value to use if the eon does not include the era

-> (eon era -> a)

Function to get the value to use if the eon includes the era

-> CardanoEra era

Era to check

-> a

The value to use

Determine the value to use in an eon (a span of multiple eras). Note that the negative case is the first argument, and the positive case is the second as per the either function convention.

Instances

Instances details
Eon AllegraEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.AllegraEraOnwards

Methods

inEonForEra :: a -> (AllegraEraOnwards era -> a) -> CardanoEra era -> a Source #

Eon AlonzoEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.AlonzoEraOnwards

Methods

inEonForEra :: a -> (AlonzoEraOnwards era -> a) -> CardanoEra era -> a Source #

Eon BabbageEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.BabbageEraOnwards

Methods

inEonForEra :: a -> (BabbageEraOnwards era -> a) -> CardanoEra era -> a Source #

Eon ByronToAlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ByronToAlonzoEra

Methods

inEonForEra :: a -> (ByronToAlonzoEra era -> a) -> CardanoEra era -> a Source #

Eon ConwayEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.ConwayEraOnwards

Methods

inEonForEra :: a -> (ConwayEraOnwards era -> a) -> CardanoEra era -> a Source #

Eon MaryEraOnwards Source # 
Instance details

Defined in Cardano.Api.Eon.MaryEraOnwards

Methods

inEonForEra :: a -> (MaryEraOnwards era -> a) -> CardanoEra era -> a Source #

Eon ShelleyBasedEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyBasedEra

Methods

inEonForEra :: a -> (ShelleyBasedEra era -> a) -> CardanoEra era -> a Source #

Eon ShelleyEraOnly Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyEraOnly

Methods

inEonForEra :: a -> (ShelleyEraOnly era -> a) -> CardanoEra era -> a Source #

Eon ShelleyToAllegraEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAllegraEra

Methods

inEonForEra :: a -> (ShelleyToAllegraEra era -> a) -> CardanoEra era -> a Source #

Eon ShelleyToAlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToAlonzoEra

Methods

inEonForEra :: a -> (ShelleyToAlonzoEra era -> a) -> CardanoEra era -> a Source #

Eon ShelleyToBabbageEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToBabbageEra

Methods

inEonForEra :: a -> (ShelleyToBabbageEra era -> a) -> CardanoEra era -> a Source #

Eon ShelleyToMaryEra Source # 
Instance details

Defined in Cardano.Api.Eon.ShelleyToMaryEra

Methods

inEonForEra :: a -> (ShelleyToMaryEra era -> a) -> CardanoEra era -> a Source #

Eon CardanoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

Methods

inEonForEra :: a -> (CardanoEra era -> a) -> CardanoEra era -> a Source #

Eon Era Source #

A temporary compatibility instance, for easier conversion between experimental and old API.

Instance details

Defined in Cardano.Api.Experimental.Eras

Methods

inEonForEra :: a -> (Era era -> a) -> CardanoEra era -> a Source #

data EraInEon (eon :: Type -> Type) where Source #

Constructors

EraInEon :: forall era (eon :: Type -> Type). (Typeable era, Typeable (eon era), Eon eon) => eon era -> EraInEon eon 

Instances

Instances details
Show (EraInEon eon) Source #

Assumes that eons are singletons

Instance details

Defined in Cardano.Api.Eras.Core

Methods

showsPrec :: Int -> EraInEon eon -> ShowS Source #

show :: EraInEon eon -> String Source #

showList :: [EraInEon eon] -> ShowS Source #

TestEquality eon => Eq (EraInEon eon) Source #

Assumes that eons are singletons

Instance details

Defined in Cardano.Api.Eras.Core

Methods

(==) :: EraInEon eon -> EraInEon eon -> Bool Source #

(/=) :: EraInEon eon -> EraInEon eon -> Bool Source #

inEonForEraMaybe Source #

Arguments

:: Eon eon 
=> (eon era -> a)

Function to get the value to use if the eon includes the era

-> CardanoEra era

Era to check

-> Maybe a

The value to use

forEraInEon Source #

Arguments

:: Eon eon 
=> CardanoEra era

Era to check

-> a

Value to use if the eon does not include the era

-> (eon era -> a)

Function to get the value to use if the eon includes the era

-> a

The value to use

forEraInEonMaybe Source #

Arguments

:: Eon eon 
=> CardanoEra era

Era to check

-> (eon era -> a)

Function to get the value to use if the eon includes the era

-> Maybe a

The value to use

forEraMaybeEon Source #

Arguments

:: Eon eon 
=> CardanoEra era

Era to check

-> Maybe (eon era)

The eon if supported in the era

maybeEon Source #

Arguments

:: (Eon eon, IsCardanoEra era) 
=> Maybe (eon era)

The eon if supported in the era

monoidForEraInEon :: (Eon eon, Monoid a) => CardanoEra era -> (eon era -> a) -> a Source #

monoidForEraInEonA :: (Eon eon, Applicative f, Monoid a) => CardanoEra era -> (eon era -> f a) -> f a Source #

class Inject t s where Source #

Methods

inject :: t -> s Source #

Instances

Instances details
Inject Coin DeltaCoin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

inject :: Coin -> DeltaCoin Source #

Inject a a 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

inject :: a -> a Source #

Inject Coin (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject :: Coin -> MaryValue c Source #

Inject (AlonzoContextError era) (BabbageContextError era) 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

Methods

inject :: AlonzoContextError era -> BabbageContextError era Source #

Inject (AlonzoContextError era) (ConwayContextError era) 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

inject :: AlonzoContextError era -> ConwayContextError era Source #

Inject (BabbageContextError era) (ConwayContextError era) 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

inject :: BabbageContextError era -> ConwayContextError era Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

type CardanoEraConstraints era = (Typeable era, IsCardanoEra era) Source #

cardanoEraConstraints :: CardanoEra era -> (CardanoEraConstraints era => a) -> a Source #