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

GeniusYield.Types

Description

Synopsis

Documentation

data Natural Source #

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 Source # parseJSONList ∷ Value → Parser [Natural] Source #
FromJSONKey Natural
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey ∷ FromJSONKeyFunction Natural Source # fromJSONKeyList ∷ FromJSONKeyFunction [Natural] Source #
ToJSON Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Natural → Value Source # toEncoding ∷ Natural → Encoding Source # toJSONList ∷ [Natural] → Value Source # toEncodingList ∷ [Natural] → Encoding Source #
ToJSONKey Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey ∷ ToJSONKeyFunction Natural Source # toJSONKeyList ∷ ToJSONKeyFunction [Natural] Source #
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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Natural Source # toConstr ∷ Natural → Constr Source # dataTypeOf ∷ Natural → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Natural) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Natural) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Natural → Natural Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Natural → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Natural → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source #
Bits Natural	Since: base-4.8.0
Instance details Defined in GHC.Bits Methods (.&.) ∷ Natural → Natural → Natural Source # (.\|.) ∷ Natural → Natural → Natural Source # xor ∷ Natural → Natural → Natural Source # complement ∷ Natural → Natural Source # shift ∷ Natural → Int → Natural Source # rotate ∷ Natural → Int → Natural Source # zeroBits ∷ Natural Source # bit ∷ Int → Natural Source # setBit ∷ Natural → Int → Natural Source # clearBit ∷ Natural → Int → Natural Source # complementBit ∷ Natural → Int → Natural Source # testBit ∷ Natural → Int → Bool Source # bitSizeMaybe ∷ Natural → Maybe Int Source # bitSize ∷ Natural → Int Source # isSigned ∷ Natural → Bool Source # shiftL ∷ Natural → Int → Natural Source # unsafeShiftL ∷ Natural → Int → Natural Source # shiftR ∷ Natural → Int → Natural Source # unsafeShiftR ∷ Natural → Int → Natural Source # rotateL ∷ Natural → Int → Natural Source # rotateR ∷ Natural → Int → Natural Source # popCount ∷ Natural → Int Source #
Enum Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Enum Methods succ ∷ Natural → Natural Source # pred ∷ Natural → Natural Source # toEnum ∷ Int → Natural Source # fromEnum ∷ Natural → Int Source # enumFrom ∷ Natural → [Natural] Source # enumFromThen ∷ Natural → Natural → [Natural] Source # enumFromTo ∷ Natural → Natural → [Natural] Source # enumFromThenTo ∷ Natural → Natural → Natural → [Natural] Source #
Ix Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Ix Methods range ∷ (Natural, Natural) → [Natural] Source # index ∷ (Natural, Natural) → Natural → Int Source # unsafeIndex ∷ (Natural, Natural) → Natural → Int Source # inRange ∷ (Natural, Natural) → Natural → Bool Source # rangeSize ∷ (Natural, Natural) → Int Source # unsafeRangeSize ∷ (Natural, Natural) → Int Source #
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 Source # (-) ∷ Natural → Natural → Natural Source # (*) ∷ Natural → Natural → Natural Source # negate ∷ Natural → Natural Source # abs ∷ Natural → Natural Source # signum ∷ Natural → Natural Source # fromInteger ∷ Integer → Natural Source #
Read Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS Natural Source # readList ∷ ReadS [Natural] Source # readPrec ∷ ReadPrec Natural Source # readListPrec ∷ ReadPrec [Natural] Source #
Integral Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods quot ∷ Natural → Natural → Natural Source # rem ∷ Natural → Natural → Natural Source # div ∷ Natural → Natural → Natural Source # mod ∷ Natural → Natural → Natural Source # quotRem ∷ Natural → Natural → (Natural, Natural) Source # divMod ∷ Natural → Natural → (Natural, Natural) Source # toInteger ∷ Natural → Integer Source #
Real Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods toRational ∷ Natural → Rational Source #
Show Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → Natural → ShowS Source # show ∷ Natural → String Source # showList ∷ [Natural] → ShowS Source #
PrintfArg Natural	Since: base-4.8.0.0
Instance details Defined in Text.Printf Methods formatArg ∷ Natural → FieldFormatter Source # parseFormat ∷ Natural → ModifierParser Source #
Subtractive Natural
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Natural Source # Methods (-) ∷ Natural → Natural → Difference Natural Source #
FromCBOR Natural
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Natural Source # label ∷ Proxy Natural → Text Source #
ToCBOR Natural
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Natural → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size Source #
DecCBOR Natural
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Natural Source # dropCBOR ∷ Proxy Natural → Decoder s () Source # label ∷ Proxy Natural → Text Source #
EncCBOR Natural
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Natural → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size Source #
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 Source #
ToField Natural	Uses decimal encoding. Since: cassava-0.5.1.0
Instance details Defined in Data.Csv.Conversion Methods toField ∷ Natural → Field Source #
NFData Natural	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf ∷ Natural → () Source #
Eq Natural
Instance details Defined in GHC.Num.Natural Methods (==) ∷ Natural → Natural → Bool Source # (/=) ∷ Natural → Natural → Bool Source #
Ord Natural
Instance details Defined in GHC.Num.Natural Methods compare ∷ Natural → Natural → Ordering Source # (<) ∷ Natural → Natural → Bool Source # (<=) ∷ Natural → Natural → Bool Source # (>) ∷ Natural → Natural → Bool Source # (>=) ∷ Natural → Natural → Bool Source # max ∷ Natural → Natural → Natural Source # min ∷ Natural → Natural → Natural Source #
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Natural → Int Source # hash ∷ Natural → Int Source #
FromFormKey Natural
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey ∷ Text → Either Text Natural Source #
ToFormKey Natural
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey ∷ Natural → Text Source #
FromHttpApiData Natural
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece ∷ Text → Either Text Natural Source # parseHeader ∷ ByteString → Either Text Natural Source # parseQueryParam ∷ Text → Either Text Natural Source #
ToHttpApiData Natural
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece ∷ Natural → Text Source # toEncodedUrlPiece ∷ Natural → Builder Source # toHeader ∷ Natural → ByteString Source # toQueryParam ∷ Natural → Text Source #
Measure Natural
Instance details Defined in Data.Measure.Class Methods zero ∷ Natural Source # plus ∷ Natural → Natural → Natural Source # min ∷ Natural → Natural → Natural Source # max ∷ Natural → Natural → Natural Source #
NoThunks Natural
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Natural → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Natural → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Natural → String Source #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Natural → Doc ann Source # prettyList ∷ [Natural] → Doc ann Source #
UniformRange Natural
Instance details Defined in System.Random.Internal Methods uniformRM ∷ StatefulGen g m ⇒ (Natural, Natural) → g → m Natural Source #
Corecursive Natural
Instance details Defined in Data.Functor.Foldable Methods embed ∷ Base Natural Natural → Natural Source # ana ∷ (a → Base Natural a) → a → Natural Source # apo ∷ (a → Base Natural (Either Natural a)) → a → Natural Source # postpro ∷ Recursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (a → Base Natural a) → a → Natural Source # 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 Source #
Recursive Natural
Instance details Defined in Data.Functor.Foldable Methods project ∷ Natural → Base Natural Natural Source # cata ∷ (Base Natural a → a) → Natural → a Source # para ∷ (Base Natural (Natural, a) → a) → Natural → a Source # gpara ∷ (Corecursive Natural, Comonad w) ⇒ (∀ b. Base Natural (w b) → w (Base Natural b)) → (Base Natural (EnvT Natural w a) → a) → Natural → a Source # prepro ∷ Corecursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (Base Natural a → a) → Natural → a Source # 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 Source #
Serialise Natural	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Natural → Encoding Source # decode ∷ Decoder s Natural Source # encodeList ∷ [Natural] → Encoding Source # decodeList ∷ Decoder s [Natural] Source #
ToParamSchema Natural
Instance details Defined in Data.Swagger.Internal.ParamSchema Methods toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy Natural → ParamSchema t Source #
ToSchema Natural
Instance details Defined in Data.Swagger.Internal.Schema Methods declareNamedSchema ∷ Proxy Natural → Declare (Definitions Schema) NamedSchema Source #
FromText Natural
Instance details Defined in Data.Text.Class Methods fromText ∷ Text → Either TextDecodingError Natural Source #
ToText Natural
Instance details Defined in Data.Text.Class Methods toText ∷ Natural → Text Source #
Pretty Natural
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty ∷ Natural → Doc b Source # prettyList ∷ [Natural] → Doc b Source #
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 Source #
DefaultPrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy ∷ config → Natural → Doc ann Source # defaultPrettyListBy ∷ config → [Natural] → Doc ann Source #
PrettyDefaultBy config Natural ⇒ PrettyBy config Natural	`>>>` `prettyBy () (123 :: Natural)`123
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy ∷ config → Natural → Doc ann Source # prettyListBy ∷ config → [Natural] → Doc ann Source #
Lift Natural
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ Natural → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Natural → Code m Natural Source #
KnownNat n ⇒ Reifies (n ∷ Nat) Integer
Instance details Defined in Data.Reflection Methods reflect ∷ proxy n → Integer Source #
NatVals ('[] ∷ [Nat])
Instance details Defined in Cardano.Mnemonic Methods natVals ∷ Proxy '[] → [Integer] Source #
Buildable (Range Natural)
Instance details Defined in Cardano.Binary.ToCBOR Methods build ∷ Range Natural → Builder Source #
Buildable (Range Natural)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods build ∷ Range Natural → Builder Source #
PositiveMonoid (Product Natural)
Instance details Defined in Data.Monoid.Null
PositiveMonoid (Sum Natural)
Instance details Defined in Data.Monoid.Null
(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 Source #
(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 Source #
(KnownNat n, NatVals rest) ⇒ NatVals (n ': rest)
Instance details Defined in Cardano.Mnemonic Methods natVals ∷ Proxy (n ': rest) → [Integer] Source #
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