BigInt
Extends: PlutusData < Resource
Description
This class is used for representing both positive and negative integers of arbitrary size. You should not create a BigInt(BigInt) to get those numbers.
This class is used for representing both positive and negative integers of arbitrary size. You should not create a BigInt(BigInt) to get those numbers.
Constants Descriptions
Status
Property Descriptions
value
- Setter:
@value_setter
- Getter:
@value_getter
Method Descriptions
_init
add
Return the result of adding [param other].
mul
Return the result of multiplying by [param other].
eq
Check if is equal to [param other].
lt
Check if it is less than [param other].
gt
Check if it is greater than [param other].
negate
Return the additive inverse.
sub
Return the result of substracting [param other].
to_str
Convert to [String].
to_int
format_price
from_str (static)
Create a BigInt(BigInt).
from_int (static)
Convert an [int] into a BigInt.
zero (static)
Return 0
one (static)
Return 1
Sub-classes
ConversionResult
Property Descriptions
value
- Getter:
@value_getter
WARNING: This function may fail! First match on Result.tag or call Result.is_ok.
error
- Getter:
@error_getter
WARNING: This function may fail! First match on Result.tag or call Result._is_err.