Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.Plutus.CostModels

Synopsis

value costModelFromMap
value costModelInitParamCount
value costModelInitParamNames
value costModelParamNames
value costModelToMap
value costModelsUnknown
value costModelsValid
value decodeCostModel
value decodeCostModelsFailing
value decodeCostModelsLenient
value emptyCostModels
value encodeCostModel
value flattenCostModels
value getCostModelEvaluationContext
value getCostModelLanguage
value getCostModelParams
value getEvaluationContext
value mkCostModel
value mkCostModels
value mkCostModelsLenient
value parseCostModelAsArray
value parseCostModelAsMap
value parseCostModels
value updateCostModels
data CostModel
data CostModels
newtype CostModelsUpdate

Packagecardano-ledger-core-1.21.0.0
Exports27
LicenceApache-2.0

valuecostModelFromMap :: MonadFail m => Language -> Map Text Int64 -> m CostModel

valuecostModelInitParamCount :: Language -> Int

valuecostModelInitParamNames :: Language -> [Text]

valuecostModelParamNames :: Language -> [Text]

valuecostModelToMap :: CostModel -> Map Text Int64

valuecostModelsUnknown :: CostModels -> Map Word8 [Int64]

valuecostModelsValid :: CostModels -> Map Language CostModel

valuedecodeCostModel :: Language -> Decoder s CostModel

valuedecodeCostModelsFailing :: Decoder s CostModels

valuedecodeCostModelsLenient :: Decoder s CostModels

valueemptyCostModels :: CostModels

valueencodeCostModel :: CostModel -> Encoding

valueflattenCostModels :: CostModels -> Map Word8 [Int64]

valuegetCostModelEvaluationContext :: CostModel -> EvaluationContext

valuegetCostModelLanguage :: CostModel -> Language

valuegetCostModelParams :: CostModel -> [Int64]

valuegetEvaluationContext :: CostModel -> EvaluationContext

valuemkCostModel :: Language -> [Int64] -> Either CostModelApplyError CostModel

valuemkCostModels :: Map Language CostModel -> CostModels

valuemkCostModelsLenient :: MonadFail m => Map Word8 [Int64] -> m CostModels

valueparseCostModelAsArray :: Bool -> Language -> Array -> Parser CostModel

valueparseCostModelAsMap :: Bool -> Language -> Object -> Parser CostModel

valueparseCostModels :: Bool -> [Language] -> Value -> Parser CostModels

valueupdateCostModels :: CostModels -> CostModelsUpdate -> CostModels

datadata CostModel

Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :*: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :*: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

datadata CostModels

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
FromJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToPlutusData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype CostModelsUpdate

Constructors

CostModelsUpdate
- unCostModelsUpdate :: CostModels

Instances8Eq, Ord, Show, NFData, ToJSON, NoThunks, …

Eq CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels