Moduleplutus-core-1.70.0.0

PlutusCore.Evaluation.Machine.CostStream

Synopsis

valueaddCostStream :: CostStream -> CostStream -> CostStream

valuemapCostStream

valueminCostStream :: CostStream -> CostStream -> CostStream

valuereconsCost :: CostingInteger -> Maybe CostStream -> CostStream

valuesumCostStream :: CostStream -> CostingInteger

valueunconsCost :: CostStream -> (CostingInteger, Maybe CostStream)

datadata CostStream

Instances2Show, OnMemoryUsages

Show CostStreamDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostStream
(ab ~ (a -> b), ExMemoryUsage a, OnMemoryUsages c b) => OnMemoryUsages (CostStream -> c) abDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core