Safe Haskell	None
Language	Haskell2010

Lorentz.UStore.Migration.Batching

Contents

Separate-lambdas batching

Description

Different approaches to batching.

For now we do not support perfect batching because operation size evaluation (as well as gas consumption evaluation) is not implemented yet. The only non-trivial batching implementation we provide is mbSeparateLambdas.

Synopsis

data SlBatchType
- = SlbtData
- | SlbtLambda
- | SlbtCustom
- | SlbtUnknown
data SlBatchInfo = SlBatchInfo {
- slbiType :: SlBatchType
- slbiActions :: [Text]
}
mbSeparateLambdas :: MigrationBatching [] SlBatchInfo

Separate-lambdas batching

data SlBatchType Source #

Type of batch.

Constructors

SlbtData	Addition of any type of data.
SlbtLambda	Addition of code.
SlbtCustom	Several joined actions of different types.
SlbtUnknown	No information to chooseType about batching. This means that the given action does not contain `DMigrationActionDesc`.

Instances

Eq SlBatchType Source #
Instance details Defined in Lorentz.UStore.Migration.Batching Methods (==) :: SlBatchType -> SlBatchType -> Bool # (/=) :: SlBatchType -> SlBatchType -> Bool #
Show SlBatchType Source #
Instance details Defined in Lorentz.UStore.Migration.Batching Methods showsPrec :: Int -> SlBatchType -> ShowS # show :: SlBatchType -> String # showList :: [SlBatchType] -> ShowS #

data SlBatchInfo Source #

Constructors

SlBatchInfo
Fields slbiType :: SlBatchType slbiActions :: [Text]

Instances

Buildable SlBatchInfo Source #
Instance details Defined in Lorentz.UStore.Migration.Batching Methods build :: SlBatchInfo -> Builder #

mbSeparateLambdas :: MigrationBatching [] SlBatchInfo Source #

Puts all data updates in one batch, and all lambdas in separate batches, one per batch.

The reason for such behaviour is that in production contracts amount of changed data (be it in contract initialization or contract upgrade) is small, while stored entrypoints are huge and addition of even one entrypoint often barely fits into gas limit.