morley-1.16.1: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Morley.Michelson.Typed.OpSize

Description

Measuring operation size of typed stuff.

Synopsis

Documentation

newtype OpSize Source #

Operation size in bytes.

We use newtype wrapper because there are different units of measure (another one is gas, and we don't want to confuse them).

Constructors

OpSize 

Fields

Instances

Instances details
Eq OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Methods

(==) :: OpSize -> OpSize -> Bool #

(/=) :: OpSize -> OpSize -> Bool #

Ord OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Show OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Semigroup OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Monoid OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Buildable OpSize Source # 
Instance details

Defined in Morley.Michelson.Untyped.OpSize

Methods

build :: OpSize -> Builder #

opSizeHardLimit :: OpSize Source #

Maximal operation size allowed by Tezos production nodes.

smallTransferOpSize :: OpSize Source #

Base cost of any transfer of 0 mutez with no extra parameters. (Add valueOpSize <param> to it to get assessment of actual transfer op size)

instrOpSize :: Instr inp out -> OpSize Source #

Estimate instruction operation size.

contractOpSize :: Contract cp st -> OpSize Source #

Estimate contract code operation size.

valueOpSize :: UntypedValScope t => Value t -> OpSize Source #

Estimate value operation size.