cardano-ledger-alonzo-0.1.0.0: Cardano ledger introducing Plutus Core
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Alonzo.Scripts

Contents

Synopsis

Documentation

data Tag Source #

Marker indicating the part of a transaction for which this script is acting as a validator.

Constructors

Spend

Validates spending a script-locked UTxO

Mint

Validates minting new tokens

Cert

Validates certificate transactions

Rewrd

Validates withdrawl from a reward account

Instances

Instances details
Bounded Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

minBound :: Tag Source #

maxBound :: Tag Source #

Enum Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

succ :: Tag -> Tag Source #

pred :: Tag -> Tag Source #

toEnum :: Int -> Tag Source #

fromEnum :: Tag -> Int Source #

enumFrom :: Tag -> [ Tag ] Source #

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

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

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

Eq Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare :: Tag -> Tag -> Ordering Source #

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

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

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

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

max :: Tag -> Tag -> Tag Source #

min :: Tag -> Tag -> Tag Source #

Show Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: Tag -> String Source #

showList :: [ Tag ] -> ShowS Source #

Generic Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep Tag :: Type -> Type Source #

Methods

from :: Tag -> Rep Tag x Source #

to :: Rep Tag x -> Tag Source #

NFData Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: Tag -> () Source #

ToCBOR Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR :: Tag -> Encoding Source #

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

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

FromCBOR Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fromCBOR :: Decoder s Tag Source #

label :: Proxy Tag -> Text Source #

NoThunks Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> Tag -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Tag -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy Tag -> String Source #

type Rep Tag Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep Tag = D1 (' MetaData "Tag" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) (( C1 (' MetaCons "Spend" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "Mint" ' PrefixI ' False ) ( U1 :: Type -> Type )) :+: ( C1 (' MetaCons "Cert" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "Rewrd" ' PrefixI ' False ) ( U1 :: Type -> Type )))

data Script era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Constructors

TimelockScript ( Timelock ( Crypto era))
PlutusScript Language ShortByteString

Instances

Instances details
HasField "referenceScript" ( TxOut era) ( StrictMaybe ( Script era)) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

getField :: TxOut era -> StrictMaybe ( Script era) Source #

Eq ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

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

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

max :: Script era -> Script era -> Script era Source #

min :: Script era -> Script era -> Script era Source #

( ValidateScript era, Script era ~ Script era) => Show ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: Script era -> String Source #

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

Generic ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep ( Script era) :: Type -> Type Source #

Methods

from :: Script era -> Rep ( Script era) x Source #

to :: Rep ( Script era) x -> Script era Source #

NFData ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: Script era -> () Source #

( Typeable ( Crypto era), Typeable era) => ToCBOR ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR :: Script era -> Encoding Source #

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

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

( Crypto ( Crypto era), Typeable ( Crypto era), Typeable era) => FromCBOR ( Annotator ( Script era)) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fromCBOR :: Decoder s ( Annotator ( Script era)) Source #

label :: Proxy ( Annotator ( Script era)) -> Text Source #

SafeToHash ( Script era) Source #

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes :: Script era -> ByteString Source #

makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Script era -> SafeHash c index Source #

NoThunks ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> Script era -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Script era -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Script era) -> String Source #

type Rep ( Script era) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep ( Script era) = D1 (' MetaData "Script" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "TimelockScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Timelock ( Crypto era)))) :+: C1 (' MetaCons "PlutusScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Language ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ShortByteString )))

txscriptfee :: Prices -> ExUnits -> Coin Source #

Compute the cost of a script based upon prices and the number of execution units.

isPlutusScript :: Script era -> Bool Source #

pointWiseExUnits :: ( Natural -> Natural -> Bool ) -> ExUnits -> ExUnits -> Bool Source #

It is deliberate that there is no Ord instance for ExUnits . Use this function to compare if one ExUnit is pointwise compareable to another.

Cost Model

data CostModel Source #

A language dependent cost model for the Plutus evaluator. Note that the EvaluationContext is entirely dependent on the cost model parameters (ie the Map Text Integer ) and that this type uses the smart constructor mkCostModel to hide the evaluation context.

Instances

Instances details
Eq CostModel Source #

Note that this Eq instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor mkCostModel .

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord CostModel Source #

Note that this Ord instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor mkCostModel .

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare :: CostModel -> CostModel -> Ordering Source #

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

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

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

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

max :: CostModel -> CostModel -> CostModel Source #

min :: CostModel -> CostModel -> CostModel Source #

Show CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: CostModel -> String Source #

showList :: [ CostModel ] -> ShowS Source #

Generic CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep CostModel :: Type -> Type Source #

Methods

from :: CostModel -> Rep CostModel x Source #

to :: Rep CostModel x -> CostModel Source #

NFData CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: CostModel -> () Source #

ToJSON CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toJSON :: CostModel -> Value Source #

toEncoding :: CostModel -> Encoding Source #

toJSONList :: [ CostModel ] -> Value Source #

toEncodingList :: [ CostModel ] -> Encoding Source #

ToCBOR CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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 #

SafeToHash CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes :: CostModel -> ByteString Source #

makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> CostModel -> SafeHash c index Source #

NoThunks CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> CostModel -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CostModel -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy CostModel -> String Source #

HashWithCrypto CostModel CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

hashWithCrypto :: HasAlgorithm crypto => Proxy crypto -> CostModel -> SafeHash crypto CostModel Source #

type Rep CostModel Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep CostModel = D1 (' MetaData "CostModel" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "CostModel" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Language ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map Text Integer )) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EvaluationContext ))))

mkCostModel :: Language -> Map Text Integer -> Either CostModelApplyError CostModel Source #

Convert cost model parameters to a cost model, making use of the conversion function mkEvaluationContext from the Plutus API.

getCostModelLanguage :: CostModel -> Language Source #

getCostModelParams :: CostModel -> Map Text Integer Source #

getEvaluationContext :: CostModel -> EvaluationContext Source #

newtype ExUnits Source #

This newtype wrapper of ExUnits' is used to hide an implementation detail inside the ExUnits pattern.

Constructors

WrapExUnits

Fields

Bundled Patterns

pattern ExUnits :: Natural -> Natural -> ExUnits

Arbitrary execution unit in which we measure the cost of scripts in terms of space in memory and execution time.

This pattern hides the fact that ExUnits' is parametric in the underlying type. The ledger itself uses ExUnits Natural' exclusively.

We would have preferred to use a type alias for ExUnits Natural', but this is not possible: https://gitlab.haskell.org/ghc/ghc/-/issues/19507 .

Instances

Instances details
Eq ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Show ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: ExUnits -> String Source #

showList :: [ ExUnits ] -> ShowS Source #

Generic ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep ExUnits :: Type -> Type Source #

Methods

from :: ExUnits -> Rep ExUnits x Source #

to :: Rep ExUnits x -> ExUnits Source #

Semigroup ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(<>) :: ExUnits -> ExUnits -> ExUnits Source #

sconcat :: NonEmpty ExUnits -> ExUnits Source #

stimes :: Integral b => b -> ExUnits -> ExUnits Source #

Monoid ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

mempty :: ExUnits Source #

mappend :: ExUnits -> ExUnits -> ExUnits Source #

mconcat :: [ ExUnits ] -> ExUnits Source #

NFData ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: ExUnits -> () Source #

ToJSON ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toJSON :: ExUnits -> Value Source #

toEncoding :: ExUnits -> Encoding Source #

toJSONList :: [ ExUnits ] -> Value Source #

toEncodingList :: [ ExUnits ] -> Encoding Source #

FromJSON ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

parseJSON :: Value -> Parser ExUnits Source #

parseJSONList :: Value -> Parser [ ExUnits ] Source #

ToCBOR ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR :: ExUnits -> Encoding Source #

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

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

FromCBOR ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fromCBOR :: Decoder s ExUnits Source #

label :: Proxy ExUnits -> Text Source #

NoThunks ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> ExUnits -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ExUnits -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ExUnits -> String Source #

type Rep ExUnits Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep ExUnits = D1 (' MetaData "ExUnits" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' True ) ( C1 (' MetaCons "WrapExUnits" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unWrapExUnits") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ExUnits' Natural ))))

data ExUnits' a Source #

Arbitrary execution unit in which we measure the cost of scripts in terms of space in memory and execution time.

The ledger itself uses ExUnits Natural' exclusively, but the flexibility here alows the consensus layer to translate the execution units into something equivalent to 'ExUnits (Inf Natural)'. This is needed in order to provide a BoundedMeasure instance, which itself is needed for the alonzo instance of TxLimits (in consensus).

Instances

Instances details
Functor ExUnits' Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fmap :: (a -> b) -> ExUnits' a -> ExUnits' b Source #

(<$) :: a -> ExUnits' b -> ExUnits' a Source #

Eq a => Eq ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) :: ExUnits' a -> ExUnits' a -> Bool Source #

(/=) :: ExUnits' a -> ExUnits' a -> Bool Source #

Show a => Show ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec :: Int -> ExUnits' a -> ShowS Source #

show :: ExUnits' a -> String Source #

showList :: [ ExUnits' a] -> ShowS Source #

Generic ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep ( ExUnits' a) :: Type -> Type Source #

Methods

from :: ExUnits' a -> Rep ( ExUnits' a) x Source #

to :: Rep ( ExUnits' a) x -> ExUnits' a Source #

Measure a => Semigroup ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(<>) :: ExUnits' a -> ExUnits' a -> ExUnits' a Source #

sconcat :: NonEmpty ( ExUnits' a) -> ExUnits' a Source #

stimes :: Integral b => b -> ExUnits' a -> ExUnits' a Source #

Measure a => Monoid ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

mempty :: ExUnits' a Source #

mappend :: ExUnits' a -> ExUnits' a -> ExUnits' a Source #

mconcat :: [ ExUnits' a] -> ExUnits' a Source #

NFData a => NFData ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: ExUnits' a -> () Source #

ToJSON a => ToJSON ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toJSON :: ExUnits' a -> Value Source #

toEncoding :: ExUnits' a -> Encoding Source #

toJSONList :: [ ExUnits' a] -> Value Source #

toEncodingList :: [ ExUnits' a] -> Encoding Source #

FromJSON a => FromJSON ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

parseJSON :: Value -> Parser ( ExUnits' a) Source #

parseJSONList :: Value -> Parser [ ExUnits' a] Source #

Measure a => Measure ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

zero :: ExUnits' a Source #

plus :: ExUnits' a -> ExUnits' a -> ExUnits' a Source #

min :: ExUnits' a -> ExUnits' a -> ExUnits' a Source #

max :: ExUnits' a -> ExUnits' a -> ExUnits' a Source #

BoundedMeasure a => BoundedMeasure ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

maxBound :: ExUnits' a Source #

NoThunks a => NoThunks ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> ExUnits' a -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ExUnits' a -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ExUnits' a) -> String Source #

type Rep ( ExUnits' a) Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep ( ExUnits' a) = D1 (' MetaData "ExUnits'" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "ExUnits'" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "exUnitsMem'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a) :*: S1 (' MetaSel (' Just "exUnitsSteps'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a)))

data Prices Source #

Prices per execution unit

Constructors

Prices

Fields

Instances

Instances details
Eq Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare :: Prices -> Prices -> Ordering Source #

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

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

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

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

max :: Prices -> Prices -> Prices Source #

min :: Prices -> Prices -> Prices Source #

Show Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: Prices -> String Source #

showList :: [ Prices ] -> ShowS Source #

Generic Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep Prices :: Type -> Type Source #

Methods

from :: Prices -> Rep Prices x Source #

to :: Rep Prices x -> Prices Source #

NFData Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: Prices -> () Source #

ToJSON Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toJSON :: Prices -> Value Source #

toEncoding :: Prices -> Encoding Source #

toJSONList :: [ Prices ] -> Value Source #

toEncodingList :: [ Prices ] -> Encoding Source #

FromJSON Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

parseJSON :: Value -> Parser Prices Source #

parseJSONList :: Value -> Parser [ Prices ] Source #

ToCBOR Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR :: Prices -> Encoding Source #

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

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

FromCBOR Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fromCBOR :: Decoder s Prices Source #

label :: Proxy Prices -> Text Source #

NoThunks Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> Prices -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Prices -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy Prices -> String Source #

type Rep Prices Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep Prices = D1 (' MetaData "Prices" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "Prices" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "prMem") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 NonNegativeInterval ) :*: S1 (' MetaSel (' Just "prSteps") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 NonNegativeInterval )))

hashCostModel :: forall e. Era e => Proxy e -> CostModel -> SafeHash ( Crypto e) CostModel Source #

assertWellFormedCostModelParams :: MonadError CostModelApplyError m => CostModelParams -> m () Source #

Comparably expensive to mkEvaluationContext , so it should only be used sparingly.

decodeCostModelMap :: Decoder s ( Map Language CostModel ) Source #

decodeCostModel :: Language -> Decoder s CostModel Source #

newtype CostModels Source #

Constructors

CostModels

Fields

Instances

Instances details
Eq CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare :: CostModels -> CostModels -> Ordering Source #

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

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

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

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

max :: CostModels -> CostModels -> CostModels Source #

min :: CostModels -> CostModels -> CostModels Source #

Show CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

show :: CostModels -> String Source #

showList :: [ CostModels ] -> ShowS Source #

Generic CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep CostModels :: Type -> Type Source #

Methods

from :: CostModels -> Rep CostModels x Source #

to :: Rep CostModels x -> CostModels Source #

NFData CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf :: CostModels -> () Source #

ToJSON CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toJSON :: CostModels -> Value Source #

toEncoding :: CostModels -> Encoding Source #

toJSONList :: [ CostModels ] -> Value Source #

toEncodingList :: [ CostModels ] -> Encoding Source #

FromJSON CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

parseJSON :: Value -> Parser CostModels Source #

parseJSONList :: Value -> Parser [ CostModels ] Source #

ToCBOR CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR :: CostModels -> Encoding Source #

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

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

FromCBOR CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

fromCBOR :: Decoder s CostModels Source #

label :: Proxy CostModels -> Text Source #

NoThunks CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks :: Context -> CostModels -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CostModels -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy CostModels -> String Source #

type Rep CostModels Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep CostModels = D1 (' MetaData "CostModels" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' True ) ( C1 (' MetaCons "CostModels" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unCostModels") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map Language CostModel ))))

data CostModelApplyError Source #

The type of errors that applyParams can throw.

Constructors

CMUnknownParamError Text

a costmodel parameter with the give name does not exist in the costmodel to be applied upon

CMInternalReadError

internal error when we are transforming the applyParams' input to json (should not happen)

CMInternalWriteError String

internal error when we are transforming the applied params from json with given jsonstring error (should not happen)

Instances

Instances details
Show CostModelApplyError
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

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

show :: CostModelApplyError -> String Source #

showList :: [ CostModelApplyError ] -> ShowS Source #

Exception CostModelApplyError
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

toException :: CostModelApplyError -> SomeException Source #

fromException :: SomeException -> Maybe CostModelApplyError Source #

displayException :: CostModelApplyError -> String Source #

Pretty CostModelApplyError
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

pretty :: CostModelApplyError -> Doc ann Source #

prettyList :: [ CostModelApplyError ] -> Doc ann Source #