Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V3.MintValue

Synopsis

newtype MintValue = UnsafeMintValue (Map CurrencySymbol (Map TokenName Integer))
emptyMintValue ∷ MintValue
mintValueToMap ∷ MintValue → Map CurrencySymbol (Map TokenName Integer)
mintValueMinted ∷ MintValue → Value
mintValueBurned ∷ MintValue → Value

Documentation

newtype MintValue Source #

A MintValue represents assets that are minted and burned in a transaction.

Constructors

UnsafeMintValue (Map CurrencySymbol (Map TokenName Integer))

Instances

Instances details

Data MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → MintValue → c MintValue Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c MintValue Source # toConstr ∷ MintValue → Constr Source # dataTypeOf ∷ MintValue → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c MintValue) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c MintValue) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → MintValue → MintValue Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → MintValue → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → MintValue → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → MintValue → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → MintValue → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → MintValue → m MintValue Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MintValue → m MintValue Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MintValue → m MintValue Source #
Generic MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Associated Types type Rep MintValue ∷ Type → Type Source # Methods from ∷ MintValue → Rep MintValue x Source # to ∷ Rep MintValue x → MintValue Source #
Show MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods showsPrec ∷ Int → MintValue → ShowS Source # show ∷ MintValue → String Source # showList ∷ [MintValue] → ShowS Source #
NFData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods rnf ∷ MintValue → () Source #
Eq MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods (==) ∷ MintValue → MintValue → Bool Source # (/=) ∷ MintValue → MintValue → Bool Source #
HasBlueprintDefinition MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Associated Types type Unroll MintValue ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
FromData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods fromBuiltinData ∷ BuiltinData → Maybe MintValue Source #
ToData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods toBuiltinData ∷ MintValue → BuiltinData Source #
UnsafeFromData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods unsafeFromBuiltinData ∷ BuiltinData → MintValue Source #
Pretty MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods pretty ∷ MintValue → Doc ann Source # prettyList ∷ [MintValue] → Doc ann Source #
HasBlueprintSchema MintValue referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods lift ∷ MintValue → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods typeRep ∷ Proxy MintValue → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue type Rep MintValue = D1 ('MetaData "MintValue" "PlutusLedgerApi.V3.MintValue" "plutus-ledger-api-1.39.0.0-inplace" 'True) (C1 ('MetaCons "UnsafeMintValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))
type Unroll MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue type Unroll MintValue = '[MintValue, CurrencySymbol, TokenName, Integer]

emptyMintValue ∷ MintValue Source #

mintValueToMap ∷ MintValue → Map CurrencySymbol (Map TokenName Integer) Source #

mintValueMinted ∷ MintValue → Value Source #

Get the Value minted by the MintValue.

mintValueBurned ∷ MintValue → Value Source #

Get the Value burned by the MintValue. All the negative quantities in the MintValue become positive in the resulting Value.