pvalue package:liqwid-plutarch-extra -is:exact -is:exact -is:exact

pvalue :: forall (k :: KeyGuarantees) (s :: S) . Term s (PBuiltinList (PBuiltinPair (PAsData PCurrencySymbol) (PAsData (PMap k PTokenName PInteger))) :--> PAsData (PValue k 'NoGuarantees))
liqwid-plutarch-extra Plutarch.Extra.Value
Construct a PValue from its underlying representation. There are NoGuarantees on the amounts.
pvalueSpent :: forall (s :: S) . Term s (PBuiltinList PTxInInfo :--> PValue 'Sorted 'Positive)
liqwid-plutarch-extra Plutarch.Extra.ScriptContext
Sum of all value at input.
pvaluePositive :: forall (k :: KeyGuarantees) (s :: S) . Term s (PBuiltinList (PBuiltinPair (PAsData PCurrencySymbol) (PAsData (PMap k PTokenName PInteger))) :--> PAsData (PValue k 'Positive))
liqwid-plutarch-extra Plutarch.Extra.Value
Construct a PValue from its underlying representation. The amounts are guaranteed to be Positive, so this is suitable for construction of PTxOuts.