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 :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MintValue -> c MintValue Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MintValue Source # toConstr :: MintValue -> Constr Source # dataTypeOf :: MintValue -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MintValue) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MintValue) Source # gmapT :: (forall b. Data b => b -> b) -> MintValue -> MintValue Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MintValue -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MintValue -> r Source # gmapQ :: (forall d. Data d => d -> u) -> MintValue -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> MintValue -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MintValue -> m MintValue Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MintValue -> m MintValue Source # gmapMo :: MonadPlus m => (forall 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] Methods definitionId :: DefinitionId
FromData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods fromBuiltinData :: BuiltinData -> Maybe MintValue #
ToData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods toBuiltinData :: MintValue -> BuiltinData #
UnsafeFromData MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods unsafeFromBuiltinData :: BuiltinData -> MintValue #
Pretty MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods pretty :: MintValue -> Doc ann prettyList :: [MintValue] -> Doc ann
HasBlueprintSchema MintValue referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods schema :: Schema referencedTypes
Lift DefaultUni MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods lift :: MintValue -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods typeRep :: Proxy MintValue -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue type Rep MintValue = D1 ('MetaData "MintValue" "PlutusLedgerApi.V3.MintValue" "plutus-ledger-api-1.40.0.0-EwL3g0rD7enBEzHV6wRFG7" '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.