type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-258faee6904988796a4d576c2838310ca7b29cc2d6e51d66a6d1e84953c2a6f4" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: EpochNo -> Rep EpochNo x Source #

to :: Rep EpochNo x -> EpochNo Source #

Show EpochNo Source #

Instance details

Defined in Cardano.Slotting.Slot

Methods

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

show :: EpochNo -> String Source #

showList :: [EpochNo] -> ShowS Source #

NoThunks EpochNo Source #

Instance details

Defined in Cardano.Slotting.Slot

Methods

noThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy EpochNo -> String #

Condense EpochNo Source #

Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: EpochNo -> String Source #

Serialise EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

encode :: EpochNo -> Encoding

decode :: Decoder s EpochNo

encodeList :: [EpochNo] -> Encoding

decodeList :: Decoder s [EpochNo]

type Rep EpochNo Source #

Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-258faee6904988796a4d576c2838310ca7b29cc2d6e51d66a6d1e84953c2a6f4" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

The updatable protocol parameters

newtype LedgerProtocolParameters era Source #

Constructors

LedgerProtocolParameters
Fields unLedgerProtocolParameters :: PParams (ShelleyLedgerEra era)

Instances

Instances details

IsShelleyBasedEra era => Eq (LedgerProtocolParameters era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: LedgerProtocolParameters era -> LedgerProtocolParameters era -> Bool Source # (/=) :: LedgerProtocolParameters era -> LedgerProtocolParameters era -> Bool Source #
IsShelleyBasedEra era => Show (LedgerProtocolParameters era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> LedgerProtocolParameters era -> ShowS Source # show :: LedgerProtocolParameters era -> String Source # showList :: [LedgerProtocolParameters era] -> ShowS Source #

data EraBasedProtocolParametersUpdate era where Source #

Each constructor corresponds to the set of protocol parameters available in a given era.

Constructors

ShelleyEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams ShelleyEra -> DeprecatedAfterBabbagePParams ShelleyEra -> ShelleyToAlonzoPParams ShelleyEra -> EraBasedProtocolParametersUpdate ShelleyEra
AllegraEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams AllegraEra -> ShelleyToAlonzoPParams AllegraEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate AllegraEra
MaryEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams MaryEra -> ShelleyToAlonzoPParams MaryEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate MaryEra
AlonzoEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> ShelleyToAlonzoPParams AlonzoEra -> AlonzoOnwardsPParams AlonzoEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate AlonzoEra
BabbageEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> AlonzoOnwardsPParams BabbageEra -> DeprecatedAfterBabbagePParams ShelleyEra -> IntroducedInBabbagePParams BabbageEra -> EraBasedProtocolParametersUpdate BabbageEra
ConwayEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> AlonzoOnwardsPParams ConwayEra -> IntroducedInBabbagePParams ConwayEra -> IntroducedInConwayPParams (ShelleyLedgerEra ConwayEra) -> EraBasedProtocolParametersUpdate ConwayEra

Instances

Instances details

IsShelleyBasedEra era => FromCBOR (EraBasedProtocolParametersUpdate era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR :: Decoder s (EraBasedProtocolParametersUpdate era) Source # label :: Proxy (EraBasedProtocolParametersUpdate era) -> Text Source #
IsShelleyBasedEra era => ToCBOR (EraBasedProtocolParametersUpdate era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR :: EraBasedProtocolParametersUpdate era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (EraBasedProtocolParametersUpdate era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EraBasedProtocolParametersUpdate era] -> Size Source #
Eq (EraBasedProtocolParametersUpdate era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: EraBasedProtocolParametersUpdate era -> EraBasedProtocolParametersUpdate era -> Bool Source # (/=) :: EraBasedProtocolParametersUpdate era -> EraBasedProtocolParametersUpdate era -> Bool Source #
Show (EraBasedProtocolParametersUpdate era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> EraBasedProtocolParametersUpdate era -> ShowS Source # show :: EraBasedProtocolParametersUpdate era -> String Source # showList :: [EraBasedProtocolParametersUpdate era] -> ShowS Source #

data AlonzoOnwardsPParams ledgerera Source #

Constructors

AlonzoOnwardsPParams
Fields alCostModels :: StrictMaybe CostModels alPrices :: StrictMaybe Prices alMaxTxExUnits :: StrictMaybe ExUnits alMaxBlockExUnits :: StrictMaybe ExUnits alMaxValSize :: StrictMaybe Word32 alCollateralPercentage :: StrictMaybe Word16 alMaxCollateralInputs :: StrictMaybe Word16

Instances

Instances details

Eq (AlonzoOnwardsPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: AlonzoOnwardsPParams ledgerera -> AlonzoOnwardsPParams ledgerera -> Bool Source # (/=) :: AlonzoOnwardsPParams ledgerera -> AlonzoOnwardsPParams ledgerera -> Bool Source #
Show (AlonzoOnwardsPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> AlonzoOnwardsPParams ledgerera -> ShowS Source # show :: AlonzoOnwardsPParams ledgerera -> String Source # showList :: [AlonzoOnwardsPParams ledgerera] -> ShowS Source #

data CommonProtocolParametersUpdate Source #

Protocol parameters common to each era. This can only ever be reduced if parameters are deprecated.

Instances

Instances details

Eq CommonProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: CommonProtocolParametersUpdate -> CommonProtocolParametersUpdate -> Bool Source # (/=) :: CommonProtocolParametersUpdate -> CommonProtocolParametersUpdate -> Bool Source #
Show CommonProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> CommonProtocolParametersUpdate -> ShowS Source # show :: CommonProtocolParametersUpdate -> String Source # showList :: [CommonProtocolParametersUpdate] -> ShowS Source #

newtype DeprecatedAfterBabbagePParams ledgerera Source #

Constructors

DeprecatedAfterBabbagePParams (StrictMaybe ProtVer)

Instances

Instances details

Eq (DeprecatedAfterBabbagePParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: DeprecatedAfterBabbagePParams ledgerera -> DeprecatedAfterBabbagePParams ledgerera -> Bool Source # (/=) :: DeprecatedAfterBabbagePParams ledgerera -> DeprecatedAfterBabbagePParams ledgerera -> Bool Source #
Show (DeprecatedAfterBabbagePParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> DeprecatedAfterBabbagePParams ledgerera -> ShowS Source # show :: DeprecatedAfterBabbagePParams ledgerera -> String Source # showList :: [DeprecatedAfterBabbagePParams ledgerera] -> ShowS Source #

newtype DeprecatedAfterMaryPParams ledgerera Source #

Constructors

DeprecatedAfterMaryPParams (StrictMaybe Coin)

Instances

Instances details

Eq (DeprecatedAfterMaryPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: DeprecatedAfterMaryPParams ledgerera -> DeprecatedAfterMaryPParams ledgerera -> Bool Source # (/=) :: DeprecatedAfterMaryPParams ledgerera -> DeprecatedAfterMaryPParams ledgerera -> Bool Source #
Show (DeprecatedAfterMaryPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> DeprecatedAfterMaryPParams ledgerera -> ShowS Source # show :: DeprecatedAfterMaryPParams ledgerera -> String Source # showList :: [DeprecatedAfterMaryPParams ledgerera] -> ShowS Source #

data ShelleyToAlonzoPParams ledgerera Source #

Constructors

ShelleyToAlonzoPParams
Fields (StrictMaybe Nonce) Extra entropy (StrictMaybe UnitInterval) Decentralization parameter

Instances

Instances details

Eq (ShelleyToAlonzoPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: ShelleyToAlonzoPParams ledgerera -> ShelleyToAlonzoPParams ledgerera -> Bool Source # (/=) :: ShelleyToAlonzoPParams ledgerera -> ShelleyToAlonzoPParams ledgerera -> Bool Source #
Show (ShelleyToAlonzoPParams ledgerera) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> ShelleyToAlonzoPParams ledgerera -> ShowS Source # show :: ShelleyToAlonzoPParams ledgerera -> String Source # showList :: [ShelleyToAlonzoPParams ledgerera] -> ShowS Source #

newtype IntroducedInBabbagePParams era Source #

Constructors

IntroducedInBabbagePParams (StrictMaybe CoinPerByte)

Coins per UTxO byte

Instances

Instances details

Eq (IntroducedInBabbagePParams era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: IntroducedInBabbagePParams era -> IntroducedInBabbagePParams era -> Bool Source # (/=) :: IntroducedInBabbagePParams era -> IntroducedInBabbagePParams era -> Bool Source #
Show (IntroducedInBabbagePParams era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> IntroducedInBabbagePParams era -> ShowS Source # show :: IntroducedInBabbagePParams era -> String Source # showList :: [IntroducedInBabbagePParams era] -> ShowS Source #

data IntroducedInConwayPParams era Source #

Instances

Instances details

Eq (IntroducedInConwayPParams era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: IntroducedInConwayPParams era -> IntroducedInConwayPParams era -> Bool Source # (/=) :: IntroducedInConwayPParams era -> IntroducedInConwayPParams era -> Bool Source #
Show (IntroducedInConwayPParams era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> IntroducedInConwayPParams era -> ShowS Source # show :: IntroducedInConwayPParams era -> String Source # showList :: [IntroducedInConwayPParams era] -> ShowS Source #

createEraBasedProtocolParamUpdate :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParamsUpdate (ShelleyLedgerEra era) Source #

createPParams :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParams (ShelleyLedgerEra era) Source #

Errors

data ProtocolParametersError Source #

Constructors

PParamsErrorMissingMinUTxoValue !AnyCardanoEra
PParamsErrorMissingAlonzoProtocolParameter

Instances

Instances details

Error ProtocolParametersError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods prettyError :: ProtocolParametersError -> Doc ann Source #
Show ProtocolParametersError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> ProtocolParametersError -> ShowS Source # show :: ProtocolParametersError -> String Source # showList :: [ProtocolParametersError] -> ShowS Source #

data ProtocolParametersConversionError Source #

Constructors

PpceOutOfBounds !ProtocolParameterName !Rational
PpceVersionInvalid !ProtocolParameterVersion
PpceInvalidCostModel !CostModel !CostModelApplyError
PpceMissingParameter !ProtocolParameterName

Instances

Instances details

Error ProtocolParametersConversionError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods prettyError :: ProtocolParametersConversionError -> Doc ann Source #
Eq ProtocolParametersConversionError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: ProtocolParametersConversionError -> ProtocolParametersConversionError -> Bool Source # (/=) :: ProtocolParametersConversionError -> ProtocolParametersConversionError -> Bool Source #
Data ProtocolParametersConversionError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProtocolParametersConversionError -> c ProtocolParametersConversionError Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProtocolParametersConversionError Source # toConstr :: ProtocolParametersConversionError -> Constr Source # dataTypeOf :: ProtocolParametersConversionError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProtocolParametersConversionError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProtocolParametersConversionError) Source # gmapT :: (forall b. Data b => b -> b) -> ProtocolParametersConversionError -> ProtocolParametersConversionError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProtocolParametersConversionError -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProtocolParametersConversionError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ProtocolParametersConversionError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProtocolParametersConversionError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProtocolParametersConversionError -> m ProtocolParametersConversionError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtocolParametersConversionError -> m ProtocolParametersConversionError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtocolParametersConversionError -> m ProtocolParametersConversionError Source #
Show ProtocolParametersConversionError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> ProtocolParametersConversionError -> ShowS Source # show :: ProtocolParametersConversionError -> String Source # showList :: [ProtocolParametersConversionError] -> ShowS Source #

PraosNonce

data PraosNonce Source #

Instances

Instances details

FromJSON PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

parseJSON :: Value -> Parser PraosNonce #

parseJSONList :: Value -> Parser [PraosNonce] #

omittedField :: Maybe PraosNonce #

ToJSON PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

toJSON :: PraosNonce -> Value #

toEncoding :: PraosNonce -> Encoding #

toJSONList :: [PraosNonce] -> Value #

toEncodingList :: [PraosNonce] -> Encoding #

omitField :: PraosNonce -> Bool #

HasTypeProxy PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType PraosNonce
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce

Methods

proxyToAsType :: Proxy PraosNonce -> AsType PraosNonce Source #

SerialiseAsRawBytes PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

serialiseToRawBytes :: PraosNonce -> ByteString Source #

deserialiseFromRawBytes :: AsType PraosNonce -> ByteString -> Either SerialiseAsRawBytesError PraosNonce Source #

FromCBOR PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

fromCBOR :: Decoder s PraosNonce Source #

label :: Proxy PraosNonce -> Text Source #

ToCBOR PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

toCBOR :: PraosNonce -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy PraosNonce -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PraosNonce] -> Size Source #

Eq PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

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

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

Ord PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

compare :: PraosNonce -> PraosNonce -> Ordering Source #

(<) :: PraosNonce -> PraosNonce -> Bool Source #

(<=) :: PraosNonce -> PraosNonce -> Bool Source #

(>) :: PraosNonce -> PraosNonce -> Bool Source #

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

max :: PraosNonce -> PraosNonce -> PraosNonce Source #

min :: PraosNonce -> PraosNonce -> PraosNonce Source #

Generic PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

type Rep PraosNonce
Instance details Defined in Cardano.Api.ProtocolParameters type Rep PraosNonce = D1 ('MetaData "PraosNonce" "Cardano.Api.ProtocolParameters" "cardano-api-11.1.0.0-inplace" 'True) (C1 ('MetaCons "PraosNonce" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPraosNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH ByteString))))

Methods

from :: PraosNonce -> Rep PraosNonce x Source #

to :: Rep PraosNonce x -> PraosNonce Source #

Show PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

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

show :: PraosNonce -> String Source #

showList :: [PraosNonce] -> ShowS Source #

Pretty PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

pretty :: PraosNonce -> Doc ann #

prettyList :: [PraosNonce] -> Doc ann #

data AsType PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce

type Rep PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

type Rep PraosNonce = D1 ('MetaData "PraosNonce" "Cardano.Api.ProtocolParameters" "cardano-api-11.1.0.0-inplace" 'True) (C1 ('MetaCons "PraosNonce" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPraosNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH ByteString))))

makePraosNonce :: ByteString -> PraosNonce Source #

Execution units, prices and cost models,

data ExecutionUnits Source #

The units for how long a script executes for and how much memory it uses. This is used to declare the resources used by a particular use of a script.

This type is also used to describe the limits for the maximum overall execution units per transaction or per block.

Constructors

ExecutionUnits
Fields executionSteps :: Natural This corresponds roughly to the time to execute a script. executionMemory :: Natural This corresponds roughly to the peak memory used during script execution.

Instances

Instances details

FromJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods parseJSON :: Value -> Parser ExecutionUnits # parseJSONList :: Value -> Parser [ExecutionUnits] # omittedField :: Maybe ExecutionUnits #
ToJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods toJSON :: ExecutionUnits -> Value # toEncoding :: ExecutionUnits -> Encoding # toJSONList :: [ExecutionUnits] -> Value # toEncodingList :: [ExecutionUnits] -> Encoding # omitField :: ExecutionUnits -> Bool #
FromCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods fromCBOR :: Decoder s ExecutionUnits Source # label :: Proxy ExecutionUnits -> Text Source #
ToCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods toCBOR :: ExecutionUnits -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ExecutionUnits -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ExecutionUnits] -> Size Source #
Eq ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods (==) :: ExecutionUnits -> ExecutionUnits -> Bool Source # (/=) :: ExecutionUnits -> ExecutionUnits -> Bool Source #
Show ExecutionUnits Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script Methods showsPrec :: Int -> ExecutionUnits -> ShowS Source # show :: ExecutionUnits -> String Source # showList :: [ExecutionUnits] -> ShowS Source #

data ExecutionUnitPrices Source #

The prices for ExecutionUnits as a fraction of a Coin.

These are used to determine the fee for the use of a script within a transaction, based on the ExecutionUnits needed by the use of the script.

Constructors

ExecutionUnitPrices
Fields priceExecutionSteps :: Rational priceExecutionMemory :: Rational

Instances

Instances details

FromJSON ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON :: Value -> Parser ExecutionUnitPrices # parseJSONList :: Value -> Parser [ExecutionUnitPrices] # omittedField :: Maybe ExecutionUnitPrices #
ToJSON ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON :: ExecutionUnitPrices -> Value # toEncoding :: ExecutionUnitPrices -> Encoding # toJSONList :: [ExecutionUnitPrices] -> Value # toEncodingList :: [ExecutionUnitPrices] -> Encoding # omitField :: ExecutionUnitPrices -> Bool #
FromCBOR ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR :: Decoder s ExecutionUnitPrices Source # label :: Proxy ExecutionUnitPrices -> Text Source #
ToCBOR ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR :: ExecutionUnitPrices -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ExecutionUnitPrices -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ExecutionUnitPrices] -> Size Source #
Eq ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: ExecutionUnitPrices -> ExecutionUnitPrices -> Bool Source # (/=) :: ExecutionUnitPrices -> ExecutionUnitPrices -> Bool Source #
Show ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> ExecutionUnitPrices -> ShowS Source # show :: ExecutionUnitPrices -> String Source # showList :: [ExecutionUnitPrices] -> ShowS Source #

newtype CostModels Source #

Constructors

CostModels
Fields unCostModels :: Map AnyPlutusScriptVersion CostModel

Instances

Instances details

FromJSON CostModels Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON :: Value -> Parser CostModels # parseJSONList :: Value -> Parser [CostModels] # omittedField :: Maybe CostModels #
ToJSON CostModels Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON :: CostModels -> Value # toEncoding :: CostModels -> Encoding # toJSONList :: [CostModels] -> Value # toEncodingList :: [CostModels] -> Encoding # omitField :: CostModels -> Bool #
Eq CostModels Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: CostModels -> CostModels -> Bool Source # (/=) :: CostModels -> CostModels -> Bool Source #
Show CostModels Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> CostModels -> ShowS Source # show :: CostModels -> String Source # showList :: [CostModels] -> ShowS Source #

newtype CostModel Source #

Constructors

CostModel [Int64]

Instances

Instances details

FromCBOR CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR :: Decoder s CostModel Source # label :: Proxy CostModel -> Text Source #
ToCBOR CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR :: CostModel -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CostModel -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CostModel] -> Size Source #
Eq CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) :: CostModel -> CostModel -> Bool Source # (/=) :: CostModel -> CostModel -> Bool Source #
Data CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CostModel -> c CostModel Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CostModel Source # toConstr :: CostModel -> Constr Source # dataTypeOf :: CostModel -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CostModel) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CostModel) Source # gmapT :: (forall b. Data b => b -> b) -> CostModel -> CostModel Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CostModel -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CostModel -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CostModel -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CostModel -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CostModel -> m CostModel Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModel -> m CostModel Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModel -> m CostModel Source #
Show CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec :: Int -> CostModel -> ShowS Source # show :: CostModel -> String Source # showList :: [CostModel] -> ShowS Source #

fromAlonzoCostModels :: CostModels -> Map AnyPlutusScriptVersion CostModel Source #

Update proposals to change the protocol parameters

data UpdateProposal era Source #

Constructors

UpdateProposal !(Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era)) !EpochNo

Instances

Instances details

Typeable era => HasTypeProxy (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType (UpdateProposal era)
Instance details Defined in Cardano.Api.ProtocolParameters data AsType (UpdateProposal era) = AsUpdateProposal

Methods

proxyToAsType :: Proxy (UpdateProposal era) -> AsType (UpdateProposal era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

serialiseToCBOR :: UpdateProposal era -> ByteString Source #

deserialiseFromCBOR :: AsType (UpdateProposal era) -> ByteString -> Either DecoderError (UpdateProposal era) Source #

IsShelleyBasedEra era => HasTextEnvelope (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

textEnvelopeType :: AsType (UpdateProposal era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: UpdateProposal era -> TextEnvelopeDescr Source #

IsShelleyBasedEra era => FromCBOR (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

fromCBOR :: Decoder s (UpdateProposal era) Source #

label :: Proxy (UpdateProposal era) -> Text Source #

IsShelleyBasedEra era => ToCBOR (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

toCBOR :: UpdateProposal era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (UpdateProposal era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UpdateProposal era] -> Size Source #

Eq (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

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

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

Show (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

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

show :: UpdateProposal era -> String Source #

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

data AsType (UpdateProposal era) Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType (UpdateProposal era) = AsUpdateProposal

makeShelleyUpdateProposal :: EraBasedProtocolParametersUpdate era -> [Hash GenesisKey] -> EpochNo -> UpdateProposal era Source #

Internal conversion functions

toLedgerNonce :: Maybe PraosNonce -> Nonce Source #

toLedgerUpdate :: ShelleyBasedEra era -> UpdateProposal era -> Update (ShelleyLedgerEra era) Source #

fromLedgerUpdate :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> Update ledgerera -> UpdateProposal era Source #

toLedgerProposedPPUpdates :: ShelleyBasedEra era -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era) -> ProposedPPUpdates (ShelleyLedgerEra era) Source #

fromLedgerProposedPPUpdates :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> ProposedPPUpdates ledgerera -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era) Source #

fromLedgerPParamsUpdate :: ShelleyBasedEra era -> PParamsUpdate (ShelleyLedgerEra era) -> EraBasedProtocolParametersUpdate era Source #

toAlonzoPrices :: ExecutionUnitPrices -> Either ProtocolParametersConversionError Prices Source #

fromAlonzoPrices :: Prices -> ExecutionUnitPrices Source #

toAlonzoScriptLanguage :: AnyPlutusScriptVersion -> Language Source #

fromAlonzoScriptLanguage :: Language -> AnyPlutusScriptVersion Source #

toAlonzoCostModel :: CostModel -> Language -> Either ProtocolParametersConversionError CostModel Source #

fromAlonzoCostModel :: CostModel -> CostModel Source #

toAlonzoCostModels :: Map AnyPlutusScriptVersion CostModel -> Either ProtocolParametersConversionError CostModels 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

Typeable t => Show (AsType t) Source #	Generalised show instance for all singletons of `AsType` displaying the type.
Instance details Defined in Cardano.Api.HasTypeProxy Methods showsPrec :: Int -> AsType t -> ShowS Source # show :: AsType t -> String Source # showList :: [AsType t] -> ShowS Source #
data AsType ByteString Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType ByteString = AsByteString
data AsType ByteString Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType ByteString = AsByteStringLazy
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 ByronKey Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ConwayEra = AsConwayEra
data AsType DijkstraEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType DijkstraEra = AsDijkstraEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolKey = AsStakePoolKey
data AsType BlsKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Leios data AsType BlsKey = AsBlsKey
data AsType BlsPossessionProof Source #
Instance details Defined in Cardano.Api.Key.Internal.Leios data AsType BlsPossessionProof = AsBlsPossessionProof
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType PlutusScriptV4 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV4 = AsPlutusScriptV4
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType ScriptData = AsScriptData
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType EraHistory Source #
Instance details Defined in Cardano.Api.Query.Internal.Type.QueryInMode data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.Serialise.TextEnvelope.Internal data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType PolicyId = AsPolicyId
data AsType GovActionId Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionId = AsGovActionId
data AsType GovActionIx Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionIx = AsGovActionIx
data AsType Term Source #
Instance details Defined in Cardano.Api.Serialise.Cbor.Canonical data AsType Term = AsTerm
data AsType Word16 Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word16 = AsWord16
data AsType Word32 Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word32 = AsWord32
data AsType Word64 Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word64 = AsWord64
data AsType Word8 Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word8 = AsWord8
data AsType Natural Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Natural = AsNatural
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.Internal data AsType (Certificate era) = AsCertificate
data AsType (AnyScript era) Source #
Instance details Defined in Cardano.Api.Experimental.AnyScript data AsType (AnyScript era) = AsAnyScript
data AsType (SimpleScript era) Source #
Instance details Defined in Cardano.Api.Experimental.Simple.Script data AsType (SimpleScript era) = AsSimpleScriptEra (Proxy era)
data AsType (SignedTx era) Source #
Instance details Defined in Cardano.Api.Experimental.Tx data AsType (SignedTx era) = AsSignedTx (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Experimental.Tx.Internal.Certificate.Type data AsType (Certificate era) = AsCertificate
data AsType (UnsignedTx era) Source #
Instance details Defined in Cardano.Api.Experimental.Tx.Internal.Type data AsType (UnsignedTx era) = AsUnsignedTx (AsType (ToApiEra era))
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.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.Key.Internal.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (UpdateProposal era) Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType (UpdateProposal era) = AsUpdateProposal
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (SLanguage 'PlutusV1) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (SLanguage 'PlutusV1) = AsPlutusScriptV1
data AsType (SLanguage 'PlutusV2) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (SLanguage 'PlutusV2) = AsPlutusScriptV2
data AsType (SLanguage 'PlutusV3) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (SLanguage 'PlutusV3) = AsPlutusScriptV3
data AsType (SLanguage 'PlutusV4) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (SLanguage 'PlutusV4) = AsPlutusScriptV4
data AsType (PlutusScriptInEra lang era) Source #
Instance details Defined in Cardano.Api.Experimental.Plutus.Internal.Script data AsType (PlutusScriptInEra lang era) = AsPlutusScriptInEra (AsType (SLanguage lang))
data AsType (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)
data AsType (TxOut ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Output data AsType (TxOut ctx era) = AsTxOut (AsType era)

The updatable protocol parameters

Instances

The updatable protocol parameters

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Errors

Instances

Instances

PraosNonce

Instances

Execution units, prices and cost models,

Instances

Instances

Instances

Instances

Update proposals to change the protocol parameters

Instances

Internal conversion functions

Data family instances

Instances

Era-dependent protocol features