OpSize.hs

-- SPDX-FileCopyrightText: 2020 Tocqueville Group
--
-- SPDX-License-Identifier: LicenseRef-MIT-TQ

-- | Operation size evaluation.
module Lorentz.OpSize
  ( OpSize (..)
  , T.opSizeHardLimit
  , T.smallTransferOpSize

  , contractOpSize
  , valueOpSize
  ) where

import Data.Constraint ((\\))

import Lorentz.Constraints
import Lorentz.Run
import Lorentz.Value
import Michelson.Typed (OpSize)
import qualified Michelson.Typed as T

-- | Estimate code operation size.
contractOpSize
  :: (NiceParameterFull cp, NiceStorage st)
  => Contract cp st -> OpSize
contractOpSize =
  T.contractOpSize . compileLorentzContract

{- We do not provide a method for plain lorentz code because it can be
   compiled differently (e.g. with optimizations or not).
-}

-- | Estimate value operation size.
valueOpSize :: forall a. (NicePrintedValue a) => a -> OpSize
valueOpSize =
  T.valueOpSize . toVal
  \\ nicePrintedValueEvi @a