cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Mary.Value

Synopsis

Documentation

newtype PolicyID crypto Source #

Policy ID

Constructors

PolicyID

Fields

Instances

Instances details
Eq ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

(/=) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

Ord ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare :: PolicyID crypto -> PolicyID crypto -> Ordering Source #

(<) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

(<=) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

(>) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

(>=) :: PolicyID crypto -> PolicyID crypto -> Bool Source #

max :: PolicyID crypto -> PolicyID crypto -> PolicyID crypto Source #

min :: PolicyID crypto -> PolicyID crypto -> PolicyID crypto Source #

Show ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec :: Int -> PolicyID crypto -> ShowS Source #

show :: PolicyID crypto -> String Source #

showList :: [ PolicyID crypto] -> ShowS Source #

NFData ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf :: PolicyID crypto -> () Source #

Crypto crypto => ToCBOR ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: PolicyID crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PolicyID crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PolicyID crypto] -> Size Source #

Crypto crypto => FromCBOR ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

fromCBOR :: Decoder s ( PolicyID crypto) Source #

label :: Proxy ( PolicyID crypto) -> Text Source #

NoThunks ( PolicyID crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks :: Context -> PolicyID crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> PolicyID crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( PolicyID crypto) -> String Source #

newtype AssetName Source #

Asset Name

Constructors

AssetName

Fields

Instances

Instances details
Eq AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

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

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

Ord AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare :: AssetName -> AssetName -> Ordering Source #

(<) :: AssetName -> AssetName -> Bool Source #

(<=) :: AssetName -> AssetName -> Bool Source #

(>) :: AssetName -> AssetName -> Bool Source #

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

max :: AssetName -> AssetName -> AssetName Source #

min :: AssetName -> AssetName -> AssetName Source #

Show AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

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

show :: AssetName -> String Source #

showList :: [ AssetName ] -> ShowS Source #

NFData AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf :: AssetName -> () Source #

ToCBOR AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: AssetName -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy AssetName -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AssetName ] -> Size Source #

FromCBOR AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

fromCBOR :: Decoder s AssetName Source #

label :: Proxy AssetName -> Text Source #

NoThunks AssetName Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks :: Context -> AssetName -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> AssetName -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy AssetName -> String Source #

data Value crypto Source #

The Value representing MultiAssets

Constructors

Value ! Integer !( Map ( PolicyID crypto) ( Map AssetName Integer ))

Instances

Instances details
Crypto crypto => Eq ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) :: CompactForm ( Value crypto) -> CompactForm ( Value crypto) -> Bool Source #

(/=) :: CompactForm ( Value crypto) -> CompactForm ( Value crypto) -> Bool Source #

Crypto crypto => Eq ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) :: Value crypto -> Value crypto -> Bool Source #

(/=) :: Value crypto -> Value crypto -> Bool Source #

Show ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec :: Int -> CompactForm ( Value crypto) -> ShowS Source #

show :: CompactForm ( Value crypto) -> String Source #

showList :: [ CompactForm ( Value crypto)] -> ShowS Source #

Show ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec :: Int -> Value crypto -> ShowS Source #

show :: Value crypto -> String Source #

showList :: [ Value crypto] -> ShowS Source #

Generic ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep ( Value crypto) :: Type -> Type Source #

Methods

from :: Value crypto -> Rep ( Value crypto) x Source #

to :: Rep ( Value crypto) x -> Value crypto Source #

Semigroup ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>) :: Value crypto -> Value crypto -> Value crypto Source #

sconcat :: NonEmpty ( Value crypto) -> Value crypto Source #

stimes :: Integral b => b -> Value crypto -> Value crypto Source #

Monoid ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

mempty :: Value crypto Source #

mappend :: Value crypto -> Value crypto -> Value crypto Source #

mconcat :: [ Value crypto] -> Value crypto Source #

NFData ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf :: CompactForm ( Value crypto) -> () Source #

NFData ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf :: Value crypto -> () Source #

Crypto crypto => ToCBOR ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: CompactForm ( Value crypto) -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CompactForm ( Value crypto)) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactForm ( Value crypto)] -> Size Source #

Crypto crypto => ToCBOR ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: Value crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Value crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Value crypto] -> Size Source #

Crypto crypto => FromCBOR ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

fromCBOR :: Decoder s ( CompactForm ( Value crypto)) Source #

label :: Proxy ( CompactForm ( Value crypto)) -> Text Source #

Crypto crypto => FromCBOR ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

fromCBOR :: Decoder s ( Value crypto) Source #

label :: Proxy ( Value crypto) -> Text Source #

Crypto crypto => Val ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

zero :: Value crypto Source #

(<+>) :: Value crypto -> Value crypto -> Value crypto Source #

(<×>) :: Integral i => i -> Value crypto -> Value crypto Source #

(<->) :: Value crypto -> Value crypto -> Value crypto Source #

isZero :: Value crypto -> Bool Source #

coin :: Value crypto -> Coin Source #

inject :: Coin -> Value crypto Source #

modifyCoin :: ( Coin -> Coin ) -> Value crypto -> Value crypto Source #

size :: Value crypto -> Integer Source #

pointwise :: ( Integer -> Integer -> Bool ) -> Value crypto -> Value crypto -> Bool Source #

isAdaOnly :: Value crypto -> Bool Source #

isAdaOnlyCompact :: CompactForm ( Value crypto) -> Bool Source #

injectCompact :: CompactForm Coin -> CompactForm ( Value crypto) Source #

Crypto crypto => DecodeNonNegative ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decodeNonNegative :: Decoder s ( Value crypto) Source #

Crypto crypto => DecodeMint ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decodeMint :: Decoder s ( Value crypto) Source #

Crypto crypto => EncodeMint ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encodeMint :: Value crypto -> Encoding Source #

Crypto crypto => Compactible ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

data CompactForm ( Value crypto) Source #

Methods

toCompact :: Value crypto -> Maybe ( CompactForm ( Value crypto)) Source #

fromCompact :: CompactForm ( Value crypto) -> Value crypto Source #

Group ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invert :: Value crypto -> Value crypto Source #

(~~) :: Value crypto -> Value crypto -> Value crypto Source #

pow :: Integral x => Value crypto -> x -> Value crypto Source #

Abelian ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

NoThunks ( CompactForm ( Value crypto)) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks :: Context -> CompactForm ( Value crypto) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CompactForm ( Value crypto) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CompactForm ( Value crypto)) -> String Source #

NoThunks ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks :: Context -> Value crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Value crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Value crypto) -> String Source #

type Rep ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep ( Value crypto) = D1 (' MetaData "Value" "Cardano.Ledger.Mary.Value" "cardano-ledger-shelley-ma-0.1.0.0-IyXhkyY7R1xGIgXdNlolP6" ' False ) ( C1 (' MetaCons "Value" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Integer ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( PolicyID crypto) ( Map AssetName Integer )))))
newtype CompactForm ( Value crypto) Source #
Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm ( Value crypto) = CompactValue (CompactValue crypto)

insert :: ( Integer -> Integer -> Integer ) -> PolicyID crypto -> AssetName -> Integer -> Value crypto -> Value crypto Source #

insert comb policy asset n v, if comb = old new -> old, the integer in the Value is prefered over n if comb = old new -> new, then n is prefered over the integer in the Value if (comb old new) == 0, then that value should not be stored in the Map part of the Value.

lookup :: PolicyID crypto -> AssetName -> Value crypto -> Integer Source #

policies :: Value crypto -> Set ( PolicyID crypto) Source #

Extract the set of policies in the Value.

This function is equivalent to computing the support of the value in the spec.

prune :: Map ( PolicyID crypto) ( Map AssetName Integer ) -> Map ( PolicyID crypto) ( Map AssetName Integer ) Source #

Remove 0 assets from a map

representationSize :: forall crypto. Crypto crypto => [( PolicyID crypto, AssetName , Integer )] -> Int Source #

showValue :: Value crypto -> String Source #

Display a Value as a String, one token per line

valueFromList :: Integer -> [( PolicyID era, AssetName , Integer )] -> Value era Source #

Rather than using prune to remove 0 assets, when can avoid adding them in the first place by using valueFromList to construct a Value.

gettriples' :: Value crypto -> ( Integer , [( PolicyID crypto, AssetName , Integer )], [ PolicyID crypto]) Source #

Turn the nested Value map-of-maps representation into a flat sequence of policyID, asset name and quantity, plus separately the ada quantity.