type IsBuiltin DefaultUni Natural
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Natural = IsBuiltin DefaultUni (AsInteger Natural)
type ToHoles DefaultUni hole Natural
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Natural = ToHoles DefaultUni hole (AsInteger Natural)
type ToBinds DefaultUni acc Natural
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Natural = ToBinds DefaultUni acc (AsInteger Natural)

Methods

typeAst :: Type tyname DefaultUni () #

HasPosition i s t a b => HasAny (i :: Nat) s t a b

Instance details

Defined in Data.Generics.Product.Any

Methods

the :: Lens s t a b #

NatVals ('[] :: [Nat])

Instance details

Defined in Cardano.Mnemonic

Methods

natVals :: Proxy ('[] :: [Nat]) -> [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 #

DistributiveGCDMonoid (Product Natural)

Instance details

Defined in Data.Monoid.GCD

DistributiveGCDMonoid (Sum Natural)

Instance details

Defined in Data.Monoid.GCD

GCDMonoid (Product Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

gcd :: Product Natural -> Product Natural -> Product Natural #

GCDMonoid (Sum Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

gcd :: Sum Natural -> Sum Natural -> Sum Natural #

LeftDistributiveGCDMonoid (Product Natural)

Instance details

Defined in Data.Monoid.GCD

LeftDistributiveGCDMonoid (Sum Natural)

Instance details

Defined in Data.Monoid.GCD

LeftGCDMonoid (Product Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

commonPrefix :: Product Natural -> Product Natural -> Product Natural #

stripCommonPrefix :: Product Natural -> Product Natural -> (Product Natural, Product Natural, Product Natural) #

LeftGCDMonoid (Sum Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

commonPrefix :: Sum Natural -> Sum Natural -> Sum Natural #

stripCommonPrefix :: Sum Natural -> Sum Natural -> (Sum Natural, Sum Natural, Sum Natural) #

RightDistributiveGCDMonoid (Product Natural)

Instance details

Defined in Data.Monoid.GCD

RightDistributiveGCDMonoid (Sum Natural)

Instance details

Defined in Data.Monoid.GCD

RightGCDMonoid (Product Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

commonSuffix :: Product Natural -> Product Natural -> Product Natural #

stripCommonSuffix :: Product Natural -> Product Natural -> (Product Natural, Product Natural, Product Natural) #

RightGCDMonoid (Sum Natural)

O(1)

Instance details

Defined in Data.Monoid.GCD

Methods

commonSuffix :: Sum Natural -> Sum Natural -> Sum Natural #

stripCommonSuffix :: Sum Natural -> Sum Natural -> (Sum Natural, Sum Natural, Sum Natural) #

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 #

(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 Base Natural

Instance details

Defined in Data.Functor.Foldable

type Base Natural = Maybe

type Compare (a :: Natural) (b :: Natural)

Instance details

Defined in GHC.Internal.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 ToBinds DefaultUni acc Natural

Instance details

Defined in PlutusCore.Default.Universe

type ToBinds DefaultUni acc Natural = ToBinds DefaultUni acc (AsInteger Natural)

type ToHoles DefaultUni hole Natural

Instance details

Defined in PlutusCore.Default.Universe

type ToHoles DefaultUni hole Natural = ToHoles DefaultUni hole (AsInteger Natural)

module GeniusYield.Types.Ada

module GeniusYield.Types.Address

module GeniusYield.Types.Aeson

module GeniusYield.Types.Anchor

module GeniusYield.Types.Blueprint

module GeniusYield.Types.BuildScript

module GeniusYield.Types.BuildWitness

module GeniusYield.Types.Certificate

module GeniusYield.Types.Credential

module GeniusYield.Types.DRep

module GeniusYield.Types.DataStore

module GeniusYield.Types.Datum

module GeniusYield.Types.Delegatee

module GeniusYield.Types.Epoch

module GeniusYield.Types.Era

module GeniusYield.Types.Governance

module GeniusYield.Types.Key

module GeniusYield.Types.KeyHash

module GeniusYield.Types.KeyRole

module GeniusYield.Types.Ledger

module GeniusYield.Types.Logging

module GeniusYield.Types.Natural

module GeniusYield.Types.NetworkId

module GeniusYield.Types.OpenApi

module GeniusYield.Types.PaymentKeyHash

module GeniusYield.Types.PlutusVersion

module GeniusYield.Types.Pool

module GeniusYield.Types.ProtocolParameters

module GeniusYield.Types.Providers

module GeniusYield.Types.PubKeyHash

module GeniusYield.Types.Rational

module GeniusYield.Types.Redeemer

module GeniusYield.Types.Reexpose

module GeniusYield.Types.Script

module GeniusYield.Types.Slot

module GeniusYield.Types.SlotConfig

module GeniusYield.Types.StakeAddressInfo

module GeniusYield.Types.StakeKeyHash

module GeniusYield.Types.StakePoolId

module GeniusYield.Types.Time

module GeniusYield.Types.Tx

module GeniusYield.Types.TxBody

module GeniusYield.Types.TxCert

module GeniusYield.Types.TxIn

module GeniusYield.Types.TxMetadata

module GeniusYield.Types.TxOut

module GeniusYield.Types.TxOutRef

module GeniusYield.Types.TxWdrl

module GeniusYield.Types.UTxO

module GeniusYield.Types.Value

module GeniusYield.Types.Wallet

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) Word16 #

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 #
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 :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CoinPerByte -> Size # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CoinPerByte] -> Size #
NFData CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf :: CoinPerByte -> () #
Show CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec :: Int -> CoinPerByte -> ShowS # show :: CoinPerByte -> String # showList :: [CoinPerByte] -> ShowS #
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 #