Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types

Description

Synopsis

data Natural
module GeniusYield.Types.Wallet
module GeniusYield.Types.Value
module GeniusYield.Types.UTxO
module GeniusYield.Types.TxWdrl
module GeniusYield.Types.TxOutRef
module GeniusYield.Types.TxOut
module GeniusYield.Types.TxMetadata
module GeniusYield.Types.TxIn
module GeniusYield.Types.TxCert
module GeniusYield.Types.TxBody
module GeniusYield.Types.Tx
module GeniusYield.Types.Time
module GeniusYield.Types.StakePoolId
module GeniusYield.Types.StakeKeyHash
module GeniusYield.Types.StakeAddressInfo
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.PaymentKeyHash
module GeniusYield.Types.OpenApi
module GeniusYield.Types.NetworkId
module GeniusYield.Types.Natural
module GeniusYield.Types.Logging
module GeniusYield.Types.Ledger
module GeniusYield.Types.Key
module GeniusYield.Types.Era
module GeniusYield.Types.Datum
module GeniusYield.Types.Credential
module GeniusYield.Types.Certificate
module GeniusYield.Types.Blueprint
module GeniusYield.Types.Address
module GeniusYield.Types.Ada

Documentation

data Natural #

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances

Instances details

FromJSON Natural
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON ∷ Value → Parser Natural # parseJSONList ∷ Value → Parser [Natural] # omittedField ∷ Maybe Natural #
FromJSONKey Natural
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey ∷ FromJSONKeyFunction Natural # fromJSONKeyList ∷ FromJSONKeyFunction [Natural] #
ToJSON Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Natural → Value # toEncoding ∷ Natural → Encoding # toJSONList ∷ [Natural] → Value # toEncodingList ∷ [Natural] → Encoding # omitField ∷ Natural → Bool #
ToJSONKey Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey ∷ ToJSONKeyFunction Natural # toJSONKeyList ∷ ToJSONKeyFunction [Natural] #
Data Natural	Since: base-4.8.0.0
Instance details Defined in Data.Data Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Natural → c Natural # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Natural # toConstr ∷ Natural → Constr # dataTypeOf ∷ Natural → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Natural) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Natural) # gmapT ∷ (∀ b. Data b ⇒ b → b) → Natural → Natural # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Natural → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Natural → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural #
Bits Natural	Since: base-4.8.0
Instance details Defined in GHC.Bits Methods (.&.) ∷ Natural → Natural → Natural # (.\|.) ∷ Natural → Natural → Natural # xor ∷ Natural → Natural → Natural # complement ∷ Natural → Natural # shift ∷ Natural → Int → Natural # rotate ∷ Natural → Int → Natural # zeroBits ∷ Natural # bit ∷ Int → Natural # setBit ∷ Natural → Int → Natural # clearBit ∷ Natural → Int → Natural # complementBit ∷ Natural → Int → Natural # testBit ∷ Natural → Int → Bool # bitSizeMaybe ∷ Natural → Maybe Int # bitSize ∷ Natural → Int # isSigned ∷ Natural → Bool # shiftL ∷ Natural → Int → Natural # unsafeShiftL ∷ Natural → Int → Natural # shiftR ∷ Natural → Int → Natural # unsafeShiftR ∷ Natural → Int → Natural # rotateL ∷ Natural → Int → Natural # rotateR ∷ Natural → Int → Natural # popCount ∷ Natural → Int #
Enum Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Enum Methods succ ∷ Natural → Natural # pred ∷ Natural → Natural # toEnum ∷ Int → Natural # fromEnum ∷ Natural → Int # enumFrom ∷ Natural → [Natural] # enumFromThen ∷ Natural → Natural → [Natural] # enumFromTo ∷ Natural → Natural → [Natural] # enumFromThenTo ∷ Natural → Natural → Natural → [Natural] #
Ix Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Ix Methods range ∷ (Natural, Natural) → [Natural] # index ∷ (Natural, Natural) → Natural → Int # unsafeIndex ∷ (Natural, Natural) → Natural → Int # inRange ∷ (Natural, Natural) → Natural → Bool # rangeSize ∷ (Natural, Natural) → Int # unsafeRangeSize ∷ (Natural, Natural) → Int #
Num Natural	Note that `Natural`'s `Num` instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though. Since: base-4.8.0.0
Instance details Defined in GHC.Num Methods (+) ∷ Natural → Natural → Natural # (-) ∷ Natural → Natural → Natural # (*) ∷ Natural → Natural → Natural # negate ∷ Natural → Natural # abs ∷ Natural → Natural # signum ∷ Natural → Natural # fromInteger ∷ Integer → Natural #
Read Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS Natural # readList ∷ ReadS [Natural] # readPrec ∷ ReadPrec Natural # readListPrec ∷ ReadPrec [Natural] #
Integral Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods quot ∷ Natural → Natural → Natural # rem ∷ Natural → Natural → Natural # div ∷ Natural → Natural → Natural # mod ∷ Natural → Natural → Natural # quotRem ∷ Natural → Natural → (Natural, Natural) # divMod ∷ Natural → Natural → (Natural, Natural) # toInteger ∷ Natural → Integer #
Real Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods toRational ∷ Natural → Rational #
Show Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → Natural → ShowS # show ∷ Natural → String # showList ∷ [Natural] → ShowS #
PrintfArg Natural	Since: base-4.8.0.0
Instance details Defined in Text.Printf Methods formatArg ∷ Natural → FieldFormatter # parseFormat ∷ Natural → ModifierParser #
Subtractive Natural
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Natural # Methods (-) ∷ Natural → Natural → Difference Natural #
FromCBOR Natural
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Natural # label ∷ Proxy Natural → Text #
ToCBOR Natural
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Natural → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size #
DecCBOR Natural
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Natural # dropCBOR ∷ Proxy Natural → Decoder s () # label ∷ Proxy Natural → Text #
EncCBOR Natural
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Natural → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size #
FromField Natural	Accepts an unsigned decimal number. Ignores whitespace. Since: cassava-0.5.1.0
Instance details Defined in Data.Csv.Conversion Methods parseField ∷ Field → Parser Natural #
ToField Natural	Uses decimal encoding. Since: cassava-0.5.1.0
Instance details Defined in Data.Csv.Conversion Methods toField ∷ Natural → Field #
NFData Natural	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf ∷ Natural → () #
Eq Natural
Instance details Defined in GHC.Num.Natural Methods (==) ∷ Natural → Natural → Bool # (/=) ∷ Natural → Natural → Bool #
Ord Natural
Instance details Defined in GHC.Num.Natural Methods compare ∷ Natural → Natural → Ordering # (<) ∷ Natural → Natural → Bool # (<=) ∷ Natural → Natural → Bool # (>) ∷ Natural → Natural → Bool # (>=) ∷ Natural → Natural → Bool # max ∷ Natural → Natural → Natural # min ∷ Natural → Natural → Natural #
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Natural → Int # hash ∷ Natural → Int #
FromFormKey Natural
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey ∷ Text → Either Text Natural #
ToFormKey Natural
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey ∷ Natural → Text #
FromHttpApiData Natural
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece ∷ Text → Either Text Natural # parseHeader ∷ ByteString → Either Text Natural # parseQueryParam ∷ Text → Either Text Natural #
ToHttpApiData Natural
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece ∷ Natural → Text # toEncodedUrlPiece ∷ Natural → Builder # toHeader ∷ Natural → ByteString # toQueryParam ∷ Natural → Text # toEncodedQueryParam ∷ Natural → Builder #
NoThunks Natural
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Natural → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Natural → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy Natural → String #
ToParamSchema Natural
Instance details Defined in Data.OpenApi.Internal.ParamSchema Methods toParamSchema ∷ Proxy Natural → Schema #
ToSchema Natural
Instance details Defined in Data.OpenApi.Internal.Schema Methods declareNamedSchema ∷ Proxy Natural → Declare (Definitions Schema) NamedSchema #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Natural → Doc ann # prettyList ∷ [Natural] → Doc ann #
UniformRange Natural
Instance details Defined in System.Random.Internal Methods uniformRM ∷ StatefulGen g m ⇒ (Natural, Natural) → g → m Natural #
Corecursive Natural
Instance details 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
Instance details 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 #
ToParamSchema Natural
Instance details Defined in Data.Swagger.Internal.ParamSchema Methods toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy Natural → ParamSchema t #
ToSchema Natural
Instance details Defined in Data.Swagger.Internal.Schema Methods declareNamedSchema ∷ Proxy Natural → Declare (Definitions Schema) NamedSchema #
FromText Natural
Instance details Defined in Data.Text.Class Methods fromText ∷ Text → Either TextDecodingError Natural #
ToText Natural
Instance details Defined in Data.Text.Class Methods toText ∷ Natural → Text #
Pretty Natural
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty ∷ Natural → Doc b # prettyList ∷ [Natural] → Doc b #
KnownNat n ⇒ HasResolution (n ∷ Nat)	For example, `Fixed 1000` will give you a `Fixed` with a resolution of 1000.
Instance details Defined in Data.Fixed Methods resolution ∷ p n → Integer #
TestCoercion SNat	Since: base-4.18.0.0
Instance details Defined in GHC.TypeNats Methods testCoercion ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (Coercion a b) #
TestEquality SNat	Since: base-4.18.0.0
Instance details Defined in GHC.TypeNats Methods testEquality ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (a :~: b) #
DefaultPrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy ∷ config → Natural → Doc ann # defaultPrettyListBy ∷ config → [Natural] → Doc ann #
PrettyDefaultBy config Natural ⇒ PrettyBy config Natural	`>>>` `prettyBy () (123 :: Natural)`123
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy ∷ config → Natural → Doc ann # prettyListBy ∷ config → [Natural] → Doc ann #
GCompare SNat
Instance details Defined in Data.GADT.Internal Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → GOrdering a b #
GEq SNat
Instance details Defined in Data.GADT.Internal Methods geq ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (a :~: b) #
GShow SNat
Instance details Defined in Data.GADT.Internal Methods gshowsPrec ∷ ∀ (a ∷ k). Int → SNat a → ShowS #
Lift Natural
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ Natural → m Exp # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Natural → Code m Natural #
KnownNat n ⇒ Reifies (n ∷ Nat) Integer
Instance details Defined in Data.Reflection Methods reflect ∷ proxy n → Integer #
NatVals ('[] ∷ [Nat])
Instance details Defined in Cardano.Mnemonic Methods natVals ∷ Proxy '[] → [Integer] #
Buildable (Range Natural)
Instance details Defined in Cardano.Binary.ToCBOR Methods build ∷ Range Natural → Builder #
Buildable (Range Natural)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods build ∷ Range Natural → Builder #
(n ~ EntropySize mw, csz ~ CheckSumBits n, ConsistentEntropy n mw csz) ⇒ MkSomeMnemonic '[mw]
Instance details Defined in Cardano.Mnemonic Methods mkSomeMnemonic ∷ [Text] → Either (MkSomeMnemonicError '[mw]) SomeMnemonic #
(n ~ EntropySize mw, csz ~ CheckSumBits n, ConsistentEntropy n mw csz, MkSomeMnemonic rest, NatVals rest) ⇒ MkSomeMnemonic (mw ': rest)
Instance details Defined in Cardano.Mnemonic Methods mkSomeMnemonic ∷ [Text] → Either (MkSomeMnemonicError (mw ': rest)) SomeMnemonic #
(KnownNat n, NatVals rest) ⇒ NatVals (n ': rest)
Instance details Defined in Cardano.Mnemonic Methods natVals ∷ Proxy (n ': rest) → [Integer] #
type Difference Natural
Instance details Defined in Basement.Numerical.Subtractive type Difference Natural = Maybe Natural
type IntBaseType Natural
Instance details Defined in Data.IntCast type IntBaseType Natural = 'BigWordTag
type Base Natural
Instance details Defined in Data.Functor.Foldable type Base Natural = Maybe
type Compare (a ∷ Natural) (b ∷ Natural)
Instance details Defined in Data.Type.Ord type Compare (a ∷ Natural) (b ∷ Natural) = CmpNat a b