Bounded
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Enum
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Eq
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Integral
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Num
SatInt
Source
#
|
In the
Num
instance, we plug in our own addition, multiplication
and subtraction function that perform overflow-checking.
|
Instance details
Defined in
Data.SatInt
|
Ord
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Read
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Real
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Show
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Generic
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
ToJSON
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
FromJSON
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Bits
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
FiniteBits
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
NFData
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
FromField
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
Prim
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
NoThunks
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
ExMemoryUsage
SatInt
Source
#
|
|
Instance details
Defined in
PlutusCore.Evaluation.Machine.ExMemory
|
Lift
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|
type
Rep
SatInt
Source
#
|
|
Instance details
Defined in
Data.SatInt
|