plutus-ledger-api

Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V3.Data.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

Generic MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Associated Types

type Rep MintValue

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

type Rep MintValue = D1 ('MetaData "MintValue" "PlutusLedgerApi.V3.Data.MintValue" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "UnsafeMintValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))

Methods

from :: MintValue -> Rep MintValue x Source #

to :: Rep MintValue x -> MintValue Source #

Show MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

showsPrec :: Int -> MintValue -> ShowS Source #

show :: MintValue -> String Source #

showList :: [MintValue] -> ShowS Source #

Eq MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

(==) :: MintValue -> MintValue -> Bool Source #

(/=) :: MintValue -> MintValue -> Bool Source #

HasBlueprintDefinition MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Associated Types

type Unroll MintValue
Instance details Defined in PlutusLedgerApi.V3.Data.MintValue type Unroll MintValue = '[MintValue, CurrencySymbol, TokenName, Integer]

Methods

definitionId :: DefinitionId

Eq MintValue Source #

Manual Eq instance: two MintValues are equal if they mint and burn the same assets, regardless of internal Map representation. Cannot use deriveEq for semantic equality.

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

(==) :: MintValue -> MintValue -> Bool

FromData MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

fromBuiltinData :: BuiltinData -> Maybe MintValue #

ToData MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

toBuiltinData :: MintValue -> BuiltinData #

UnsafeFromData MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

unsafeFromBuiltinData :: BuiltinData -> MintValue #

Pretty MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

pretty :: MintValue -> Doc ann

prettyList :: [MintValue] -> Doc ann

HasBlueprintSchema MintValue referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

schema :: Schema referencedTypes

Lift DefaultUni MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

lift :: MintValue -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

typeRep :: Proxy MintValue -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep MintValue Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

type Rep MintValue = D1 ('MetaData "MintValue" "PlutusLedgerApi.V3.Data.MintValue" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" '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.Data.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.