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

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 Michelson.Untyped.OpSize

Methods

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

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

Ord OpSize Source # 
Instance details

Defined in Michelson.Untyped.OpSize

Methods

compare :: OpSize -> OpSize -> Ordering #

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

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

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

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

max :: OpSize -> OpSize -> OpSize #

min :: OpSize -> OpSize -> OpSize #

Show OpSize Source # 
Instance details

Defined in Michelson.Untyped.OpSize

Methods

showsPrec :: Int -> OpSize -> ShowS #

show :: OpSize -> String #

showList :: [OpSize] -> ShowS #

Semigroup OpSize Source # 
Instance details

Defined in Michelson.Untyped.OpSize

Methods

(<>) :: OpSize -> OpSize -> OpSize #

sconcat :: NonEmpty OpSize -> OpSize #

stimes :: Integral b => b -> OpSize -> OpSize #

Monoid OpSize Source # 
Instance details

Defined in Michelson.Untyped.OpSize

Methods

mempty :: OpSize #

mappend :: OpSize -> OpSize -> OpSize #

mconcat :: [OpSize] -> OpSize #

Buildable OpSize Source # 
Instance details

Defined in 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 :: PrintedValScope t => Value t -> OpSize Source #

Estimate value operation size. TODO: [#428]: do not use PrintedValScope here.