:: Term s (PValue _ a :--> PValue _ a) -is:exact package:plutarch -is:exact

padaOnlyValue :: Term s (PValue 'Sorted v :--> PValue 'Sorted v)
plutarch Plutarch.Api.V1.Value
Value without any non-Ada
pnoAdaValue :: Term s (PValue 'Sorted v :--> PValue 'Sorted v)
plutarch Plutarch.Api.V1.Value
Value without any Ada
passertPositive :: forall kg ag s . Term s (PValue kg ag :--> PValue kg 'Positive)
plutarch Plutarch.Api.V1.Value
Assert all amounts in the value are positive.