plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Cost.Size

Documentation

size ∷ (Num c, ExMemoryUsage a) ⇒ a → c Source #

d_integerSize_4 ∷ Integer → Integer Source #

d_byteStringSize_6 ∷ T_ByteString_356 → Integer Source #

d_g1ElementSize_8 ∷ T_Bls12'45'381'45'G1'45'Element_464 → Integer Source #

d_g2ElementSize_10 ∷ T_Bls12'45'381'45'G2'45'Element_468 → Integer Source #

d_mlResultElementSize_12 ∷ T_Bls12'45'381'45'MlResult_472 → Integer Source #

d_dataSize_14 ∷ T_DATA_450 → Integer Source #

d_boolSize_16 ∷ Bool → Integer Source #

d_unitSize_18 ∷ T_'8868'_6 → Integer Source #

d_stringSize_20 ∷ T_String_6 → Integer Source #

d_defaultConstantMeasure_22 ∷ T_TmCon_198 → Integer Source #

d_defaultValueMeasure_58 ∷ T_Value_14 → Integer Source #