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

GeniusYield.Types

Contents

Shelley params
Alonzo params
Babbage params
- CoinsPerUTxOByte

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.Reexpose
module GeniusYield.Types.Redeemer
module GeniusYield.Types.Rational
module GeniusYield.Types.PubKeyHash
module GeniusYield.Types.Providers
module GeniusYield.Types.ProtocolParameters
module GeniusYield.Types.Pool
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.KeyRole
module GeniusYield.Types.KeyHash
module GeniusYield.Types.Key
module GeniusYield.Types.Governance
module GeniusYield.Types.Era
module GeniusYield.Types.Epoch
module GeniusYield.Types.Delegatee
module GeniusYield.Types.Datum
module GeniusYield.Types.DRep
module GeniusYield.Types.Credential
module GeniusYield.Types.Certificate
module GeniusYield.Types.BuildWitness
module GeniusYield.Types.BuildScript
module GeniusYield.Types.Blueprint
module GeniusYield.Types.Anchor
module GeniusYield.Types.Address
module GeniusYield.Types.Ada
ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16
ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval
ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural
ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParams era) ProtVer
ppMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin
ppMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels
ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices
ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
newtype CoinPerByte = CoinPerByte {
- unCoinPerByte ∷ Coin
}
ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte
ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin

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 #
Measure Natural
Instance details Defined in Data.Measure.Class Methods zero ∷ Natural # plus ∷ Natural → Natural → Natural # min ∷ Natural → Natural → Natural # max ∷ Natural → Natural → Natural #
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 #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Natural
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Natural → BuiltinResult term #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Natural
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Natural #
KnownNat n ⇒ Reifies (n ∷ Nat) Integer
Instance details Defined in Data.Reflection Methods reflect ∷ proxy n → Integer #
KnownTypeAst tyname DefaultUni Natural
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Natural ∷ Bool # type ToHoles DefaultUni Natural ∷ [Hole] # type ToBinds DefaultUni acc Natural ∷ [Some TyNameRep] # Methods typeAst ∷ Type tyname DefaultUni () #
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
type IsBuiltin DefaultUni Natural
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Natural = IsBuiltin DefaultUni (AsInteger Natural)
type ToHoles DefaultUni Natural
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Natural = ToHoles DefaultUni (AsInteger Natural)
type ToBinds DefaultUni acc Natural
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Natural = ToBinds DefaultUni acc (AsInteger 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.Reexpose

module GeniusYield.Types.Redeemer

module GeniusYield.Types.Rational

module GeniusYield.Types.PubKeyHash

module GeniusYield.Types.Providers

module GeniusYield.Types.ProtocolParameters

module GeniusYield.Types.Pool

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.KeyRole

module GeniusYield.Types.KeyHash

module GeniusYield.Types.Key

module GeniusYield.Types.Governance

module GeniusYield.Types.Era

module GeniusYield.Types.Epoch

module GeniusYield.Types.Delegatee

module GeniusYield.Types.Datum

module GeniusYield.Types.DRep

module GeniusYield.Types.Credential

module GeniusYield.Types.Certificate

module GeniusYield.Types.BuildWitness

module GeniusYield.Types.BuildScript

module GeniusYield.Types.Blueprint

module GeniusYield.Types.Anchor

module GeniusYield.Types.Address

module GeniusYield.Types.Ada

Shelley params

Protocol parameters introduced in Shelley era

`MinFeeA`

Min fee factor

ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin #

The linear factor for the minimum fee calculation

`MinFeeB`

Min fee constant

ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin #

The constant factor for the minimum fee calculation

`MaxBBSize`

Max block body size

ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 #

Maximal block body size

`AaxBHSize`

Max block header size

ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16 #

Maximal block header size

`PoolDeposit`

Stake pool deposit

ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin #

The amount of a pool registration deposit

`EMax`

Epoch bound on pool retirement

ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval #

epoch bound on pool retirement

`NOpt`

Desired number of pools

ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural #

Desired number of pools

`A0`

Pool influence

ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval #

Pool influence

`Tau`

Treasury expansion

ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval #

Treasury expansion

`Rho`

Monetary expansion

ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval #

Monetary expansion

`ProtocolVersion`

Protocol version

ppProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParams era) ProtVer #

`MinUTxOValue`

Minimum allowed value of a new TxOut

ppMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin #

Minimum UTxO value

`MinPoolCast`

Miminum allowed stake pool cost

ppMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParams era) Coin #

Minimum Stake Pool Cost

`KeyDeposit`

ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin #

The amount of a key registration deposit

`MaxTxSize`

ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 #

Maximal transaction size

Alonzo params

`CostModels`

ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels #

`Prices`

ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices #

`MaxTxExUnits`

Limit the total per-transaction resource use for phase-2 scripts.

ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits #

`MaxBlockExUnits`

Limit the total per-transaction and per-block resource use for phase-2 scripts.

ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits #

`MaxValSize`

The new parameter maxValSize replaces the constant maxValSize used Mary era to limit the size of the Value part of an output in a serialised transaction.

ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural #

`CollateralPercentage`

The parameter collateralPercent is used to specify the percentage of the total transaction fee its collateral must (at minimum) cover.

ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural #

`MaxCollateralInputs`

The parameter maxCollateralInputs is used to limit, additionally, the total number of collateral inputs, and thus the total number of additional signatures that must be checked during validation.

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural #

Babbage params

Protocol parameters introduced in Babbage era

`CoinsPerUTxOByte`

Cost in the amount of lovelace ber byte.

newtype CoinPerByte #

Constructors

CoinPerByte
Fields unCoinPerByte ∷ Coin

Instances

Instances details

FromJSON CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods parseJSON ∷ Value → Parser CoinPerByte # parseJSONList ∷ Value → Parser [CoinPerByte] # omittedField ∷ Maybe CoinPerByte #
ToJSON CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toJSON ∷ CoinPerByte → Value # toEncoding ∷ CoinPerByte → Encoding # toJSONList ∷ [CoinPerByte] → Value # toEncodingList ∷ [CoinPerByte] → Encoding # omitField ∷ CoinPerByte → Bool #
Show CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec ∷ Int → CoinPerByte → ShowS # show ∷ CoinPerByte → String # showList ∷ [CoinPerByte] → ShowS #
DecCBOR CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR ∷ Decoder s CoinPerByte # dropCBOR ∷ Proxy CoinPerByte → Decoder s () # label ∷ Proxy CoinPerByte → Text #
EncCBOR CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR ∷ CoinPerByte → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CoinPerByte → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CoinPerByte] → Size #
NFData CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf ∷ CoinPerByte → () #
Eq CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods (==) ∷ CoinPerByte → CoinPerByte → Bool # (/=) ∷ CoinPerByte → CoinPerByte → Bool #
Ord CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods compare ∷ CoinPerByte → CoinPerByte → Ordering # (<) ∷ CoinPerByte → CoinPerByte → Bool # (<=) ∷ CoinPerByte → CoinPerByte → Bool # (>) ∷ CoinPerByte → CoinPerByte → Bool # (>=) ∷ CoinPerByte → CoinPerByte → Bool # max ∷ CoinPerByte → CoinPerByte → CoinPerByte # min ∷ CoinPerByte → CoinPerByte → CoinPerByte #
NoThunks CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods noThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy CoinPerByte → String #

ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte #

ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin #