Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | support@geniusyield.co |
Stability | develop |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data Natural
- module GeniusYield.Types.Value
- module GeniusYield.Types.UTxO
- module GeniusYield.Types.TxOutRef
- module GeniusYield.Types.TxOut
- module GeniusYield.Types.TxIn
- module GeniusYield.Types.TxBody
- module GeniusYield.Types.Tx
- module GeniusYield.Types.Time
- module GeniusYield.Types.SlotConfig
- module GeniusYield.Types.Slot
- module GeniusYield.Types.Script
- module GeniusYield.Types.Redeemer
- module GeniusYield.Types.Rational
- module GeniusYield.Types.PubKeyHash
- module GeniusYield.Types.Providers
- module GeniusYield.Types.PlutusVersion
- module GeniusYield.Types.NetworkId
- module GeniusYield.Types.Logging
- module GeniusYield.Types.Ledger
- module GeniusYield.Types.Key
- module GeniusYield.Types.Era
- module GeniusYield.Types.Datum
- module GeniusYield.Types.Address
- module GeniusYield.Types.Ada
Documentation
Type representing arbitrary-precision non-negative integers.
>>>
2^100 :: Natural
1267650600228229401496703205376
Operations whose result would be negative
,throw
(Underflow
:: ArithException
)
>>>
-1 :: Natural
*** Exception: arithmetic underflow
Since: base-4.8.0.0
Instances
Enum Natural | Since: base-4.8.0.0 |
Defined in GHC.Enum | |
Eq Natural | Since: base-4.8.0.0 |
Integral Natural | Since: base-4.8.0.0 |
Num Natural | Note that Since: base-4.8.0.0 |
Ord Natural | Since: base-4.8.0.0 |
Read Natural | Since: base-4.8.0.0 |
Real Natural | Since: base-4.8.0.0 |
Defined in GHC.Real toRational ∷ Natural → Rational # | |
Show Natural | Since: base-4.8.0.0 |
PrintfArg Natural | Since: base-4.8.0.0 |
Defined in Text.Printf | |
Bits Natural | Since: base-4.8.0 |
Defined in Data.Bits (.&.) ∷ Natural → Natural → Natural # (.|.) ∷ Natural → Natural → Natural # xor ∷ Natural → Natural → Natural # complement ∷ Natural → Natural # shift ∷ Natural → Int → Natural # rotate ∷ Natural → Int → Natural # setBit ∷ Natural → Int → Natural # clearBit ∷ Natural → Int → Natural # complementBit ∷ Natural → Int → Natural # testBit ∷ Natural → Int → Bool # bitSizeMaybe ∷ Natural → Maybe Int # shiftL ∷ Natural → Int → Natural # unsafeShiftL ∷ Natural → Int → Natural # shiftR ∷ Natural → Int → Natural # unsafeShiftR ∷ Natural → Int → Natural # rotateL ∷ Natural → Int → Natural # | |
FromJSON Natural | |
Defined in Data.Aeson.Types.FromJSON | |
ToJSON Natural | |
Defined in Data.Aeson.Types.ToJSON toEncoding ∷ Natural → Encoding # toJSONList ∷ [Natural] → Value # toEncodingList ∷ [Natural] → Encoding # | |
FromCBOR Natural | |
ToCBOR Natural | |
Defined in Cardano.Binary.ToCBOR encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size | |
NoThunks Natural | |
Serialise Natural | |
Defined in Codec.Serialise.Class encodeList ∷ [Natural] → Encoding decodeList ∷ Decoder s [Natural] | |
ToJSONKey Natural | |
Defined in Data.Aeson.Types.ToJSON toJSONKey ∷ ToJSONKeyFunction Natural toJSONKeyList ∷ ToJSONKeyFunction [Natural] | |
FromJSONKey Natural | |
Defined in Data.Aeson.Types.FromJSON fromJSONKey ∷ FromJSONKeyFunction Natural fromJSONKeyList ∷ FromJSONKeyFunction [Natural] | |
ToField Natural | |
Defined in Data.Csv.Conversion | |
Pretty Natural | |
Defined in Prettyprinter.Internal prettyList ∷ [Natural] → Doc ann | |
Corecursive Natural | |
Defined in Data.Functor.Foldable embed ∷ Base Natural Natural → Natural ana ∷ (a → Base Natural a) → a → Natural apo ∷ (a → Base Natural (Either Natural a)) → a → Natural postpro ∷ Recursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (a → Base Natural a) → a → Natural gpostpro ∷ (Recursive Natural, Monad m) ⇒ (∀ b. m (Base Natural b) → Base Natural (m b)) → (∀ c. Base Natural c → Base Natural c) → (a → Base Natural (m a)) → a → Natural | |
Recursive Natural | |
Defined in Data.Functor.Foldable project ∷ Natural → Base Natural Natural cata ∷ (Base Natural a → a) → Natural → a para ∷ (Base Natural (Natural, a) → a) → Natural → a gpara ∷ (Corecursive Natural, Comonad w) ⇒ (∀ b. Base Natural (w b) → w (Base Natural b)) → (Base Natural (EnvT Natural w a) → a) → Natural → a prepro ∷ Corecursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (Base Natural a → a) → Natural → a gprepro ∷ (Corecursive Natural, Comonad w) ⇒ (∀ b. Base Natural (w b) → w (Base Natural b)) → (∀ c. Base Natural c → Base Natural c) → (Base Natural (w a) → a) → Natural → a | |
Hashable Natural | |
Defined in Data.Hashable.Class | |
FromHttpApiData Natural | |
Defined in Web.Internal.HttpApiData | |
ToHttpApiData Natural | |
Defined in Web.Internal.HttpApiData | |
Subtractive Natural | |
FromField Natural | |
Defined in Data.Csv.Conversion parseField ∷ Field → Parser Natural | |
UniformRange Natural | |
Defined in System.Random.Internal | |
Pretty Natural | |
Defined in Text.PrettyPrint.Annotated.WL prettyList ∷ [Natural] → Doc b | |
FromFormKey Natural | |
Defined in Web.Internal.FormUrlEncoded | |
ToFormKey Natural | |
Defined in Web.Internal.FormUrlEncoded | |
ToParamSchema Natural | |
Defined in Data.Swagger.Internal.ParamSchema toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy Natural → ParamSchema t | |
ToSchema Natural | |
Defined in Data.Swagger.Internal.Schema declareNamedSchema ∷ Proxy Natural → Declare (Definitions Schema) NamedSchema | |
FromText Natural | |
Defined in Data.Text.Class | |
ToText Natural | |
Defined in Data.Text.Class | |
Lift Natural | |
PrettyDefaultBy config Natural ⇒ PrettyBy config Natural | |
Defined in Text.PrettyBy.Internal prettyBy ∷ config → Natural → Doc ann prettyListBy ∷ config → [Natural] → Doc ann | |
DefaultPrettyBy config Natural | |
Defined in Text.PrettyBy.Internal defaultPrettyBy ∷ config → Natural → Doc ann defaultPrettyListBy ∷ config → [Natural] → Doc ann | |
Buildable (Range Natural) | |
Defined in Cardano.Binary.ToCBOR | |
type Base Natural | |
Defined in Data.Functor.Foldable | |
type Difference Natural | |
Defined in Basement.Numerical.Subtractive | |
type IntBaseType Natural | |
Defined in Data.IntCast type IntBaseType Natural = 'BigWordTag |
module GeniusYield.Types.Value
module GeniusYield.Types.UTxO
module GeniusYield.Types.TxOutRef
module GeniusYield.Types.TxOut
module GeniusYield.Types.TxIn
module GeniusYield.Types.TxBody
module GeniusYield.Types.Tx
module GeniusYield.Types.Time
module GeniusYield.Types.SlotConfig
module GeniusYield.Types.Slot
module GeniusYield.Types.Script
module GeniusYield.Types.Redeemer
module GeniusYield.Types.Rational
module GeniusYield.Types.PubKeyHash
module GeniusYield.Types.Providers
module GeniusYield.Types.NetworkId
module GeniusYield.Types.Logging
module GeniusYield.Types.Ledger
module GeniusYield.Types.Key
module GeniusYield.Types.Era
module GeniusYield.Types.Datum
module GeniusYield.Types.Address
module GeniusYield.Types.Ada