Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | None |
Language | Haskell2010 |
GeniusYield.Types
Description
Synopsis
- data Natural
- module GeniusYield.Types.Wallet
- 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 Methods 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 Methods (.&.) ∷ 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 Methods toEncoding ∷ Natural → Encoding # toJSONList ∷ [Natural] → Value # toEncodingList ∷ [Natural] → Encoding # | |
FromCBOR Natural | |
ToCBOR Natural | |
Defined in Cardano.Binary.ToCBOR Methods 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 | |
ToJSONKey Natural | |
Defined in Data.Aeson.Types.ToJSON | |
FromJSONKey Natural | |
Defined in Data.Aeson.Types.FromJSON | |
ToField Natural | |
Defined in Data.Csv.Conversion | |
Pretty Natural | |
Defined in Prettyprinter.Internal | |
Corecursive Natural | |
Defined in Data.Functor.Foldable Methods 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 Methods 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 Methods toUrlPiece ∷ Natural → Text toEncodedUrlPiece ∷ Natural → Builder toHeader ∷ Natural → ByteString toQueryParam ∷ Natural → Text | |
Subtractive Natural | |
FromField Natural | |
Defined in Data.Csv.Conversion Methods parseField ∷ Field → Parser Natural | |
UniformRange Natural | |
Defined in System.Random.Internal | |
Pretty Natural | |
Defined in Text.PrettyPrint.Annotated.WL | |
FromFormKey Natural | |
Defined in Web.Internal.FormUrlEncoded Methods | |
ToFormKey Natural | |
Defined in Web.Internal.FormUrlEncoded | |
ToParamSchema Natural | |
Defined in Data.Swagger.Internal.ParamSchema Methods toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy Natural → ParamSchema t | |
ToSchema Natural | |
Defined in Data.Swagger.Internal.Schema Methods 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 | |
DefaultPrettyBy config Natural | |
Defined in Text.PrettyBy.Internal Methods 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.Wallet
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