atlas-cardano-0.5.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

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

FromJSONKey Natural 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

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 #

toConstrNaturalConstr Source #

dataTypeOfNaturalDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Natural) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Natural) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → NaturalNatural 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 #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Natural → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural Source #

Bits Natural

Since: base-4.8.0

Instance details

Defined in GHC.Bits

Enum Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Enum

Ix Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Ix

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

Read Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Read

Integral Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Real

Real Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Real

Show Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Show

PrintfArg Natural

Since: base-4.8.0.0

Instance details

Defined in Text.Printf

Subtractive Natural 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Natural Source #

FromCBOR Natural 
Instance details

Defined in Cardano.Binary.FromCBOR

ToCBOR Natural 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBORNaturalEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy NaturalSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size Source #

DecCBOR Natural 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

EncCBOR Natural 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBORNaturalEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy NaturalSize 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

ToField Natural

Uses decimal encoding.

Since: cassava-0.5.1.0

Instance details

Defined in Data.Csv.Conversion

Methods

toFieldNaturalField Source #

NFData Natural

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfNatural → () Source #

Eq Natural 
Instance details

Defined in GHC.Num.Natural

Methods

(==)NaturalNaturalBool Source #

(/=)NaturalNaturalBool Source #

Ord Natural 
Instance details

Defined in GHC.Num.Natural

Hashable Natural 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntNaturalInt Source #

hashNaturalInt Source #

FromFormKey Natural 
Instance details

Defined in Web.Internal.FormUrlEncoded

ToFormKey Natural 
Instance details

Defined in Web.Internal.FormUrlEncoded

Methods

toFormKeyNaturalText Source #

FromHttpApiData Natural 
Instance details

Defined in Web.Internal.HttpApiData

ToHttpApiData Natural 
Instance details

Defined in Web.Internal.HttpApiData

Measure Natural 
Instance details

Defined in Data.Measure.Class

NoThunks Natural 
Instance details

Defined in NoThunks.Class

Pretty Natural 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNaturalDoc ann Source #

prettyList ∷ [Natural] → Doc ann Source #

UniformRange Natural 
Instance details

Defined in System.Random.Internal

Methods

uniformRMStatefulGen g m ⇒ (Natural, Natural) → g → m Natural Source #

Corecursive Natural 
Instance details

Defined in Data.Functor.Foldable

Methods

embedBase Natural NaturalNatural Source #

ana ∷ (a → Base Natural a) → a → Natural Source #

apo ∷ (a → Base Natural (Either Natural a)) → a → Natural Source #

postproRecursive 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

projectNaturalBase 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 #

preproCorecursive 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

ToParamSchema Natural 
Instance details

Defined in Data.Swagger.Internal.ParamSchema

ToSchema Natural 
Instance details

Defined in Data.Swagger.Internal.Schema

FromText Natural 
Instance details

Defined in Data.Text.Class

ToText Natural 
Instance details

Defined in Data.Text.Class

Methods

toTextNaturalText Source #

Pretty Natural 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

prettyNaturalDoc 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 → NaturalDoc ann Source #

defaultPrettyListBy ∷ config → [Natural] → Doc ann Source #

PrettyDefaultBy config NaturalPrettyBy config Natural
>>> prettyBy () (123 :: Natural)
123
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → NaturalDoc ann Source #

prettyListBy ∷ config → [Natural] → Doc ann Source #

Lift Natural 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

liftQuote m ⇒ Natural → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ NaturalCode 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

natValsProxy '[] → [Integer] Source #

Buildable (Range Natural) 
Instance details

Defined in Cardano.Binary.ToCBOR

Buildable (Range Natural) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

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

(n ~ EntropySize mw, csz ~ CheckSumBits n, ConsistentEntropy n mw csz, MkSomeMnemonic rest, NatVals rest) ⇒ MkSomeMnemonic (mw ': rest) 
Instance details

Defined in Cardano.Mnemonic

(KnownNat n, NatVals rest) ⇒ NatVals (n ': rest) 
Instance details

Defined in Cardano.Mnemonic

Methods

natValsProxy (n ': rest) → [Integer] Source #

type Difference Natural 
Instance details

Defined in Basement.Numerical.Subtractive

type IntBaseType Natural 
Instance details

Defined in Data.IntCast

type Base Natural 
Instance details

Defined in Data.Functor.Foldable

type Compare (a ∷ Natural) (b ∷ Natural) 
Instance details

Defined in Data.Type.Ord

type Compare (a ∷ Natural) (b ∷ Natural) = CmpNat a b