Typeclasses

class ToAnyValue a where

Values that can be converted to AnyValue

toAnyValue

: a -> AnyValue

instance ToAnyValue TimeLock

instance ToAnyValue Bool

instance ToAnyValue Decimal

instance ToAnyValue Int

instance ToAnyValue Text

instance ToAnyValue (ContractId t)

instance ToAnyValue Date

instance ToAnyValue Party

instance ToAnyValue Time

instance ToAnyValue RelTime

instance ToAnyValue ChoiceContext

instance ToAnyValue a => ToAnyValue [a]

class FromAnyValue a where

Attempt to parse a value from AnyValue.

If a type implements both ToAnyValue and FromAnyValue then it must hold that fromAnyValue (toAnyValue x) = Right x for all x.

fromAnyValue

: AnyValue -> Either Text a

instance FromAnyValue TimeLock

instance FromAnyValue Bool

instance FromAnyValue Decimal

instance FromAnyValue Int

instance FromAnyValue Text

instance Template t => FromAnyValue (ContractId t)

instance FromAnyValue Date

instance FromAnyValue Party

instance FromAnyValue Time

instance FromAnyValue RelTime

instance FromAnyValue ChoiceContext

instance FromAnyValue a => FromAnyValue [a]

Orphan Typeclass Instances

instance Semigroup Metadata

instance Monoid Metadata

Data Types

data TxKind

Internal type for the transaction kind.

TxKind_Transfer

TxKind_Unlock

TxKind_MergeSplit

TxKind_Burn

TxKind_Mint

TxKind_ExpireDust

instance Eq TxKind

Functions

: Text

: Text

: Party -> InstrumentId

Shared definition of the instrument-id used for amulets.

: Text -> (a -> Text) -> Optional a -> TextMap Text -> TextMap Text

Add an optional metadata entry.

: (Eq a, Additive a, Show a) => Text -> a -> TextMap Text -> TextMap Text

Add an metadata entry if it is non-zero number.

: (Eq a, Additive a, Show a) => Text -> Optional a -> TextMap Text -> TextMap Text

Add an metadata entry for an optional value if it is non-zero number.

: Text

: Text

: Text

: Text

: Text

: Text

: Text

: Text

: Text

: Text

Short, human-readable reason for the transaction.

: Text

Kind of the transaction.

: Text

The sender of a transfer.

: Text

The amount of token holdings burned as part of a transaction.

: TxKind -> Optional Text -> Optional Party -> Optional Decimal -> Metadata

Build the metadata for a transaction affecting the amulet holdings.

: TxKind -> Text

Exported for testing only

: TxKind -> Optional Text -> Optional Decimal -> Metadata

Simplified version for a few of the common cases.

: Text

: Text

: Text

: Text

The key used to embed all the lock specification in the choice context.

: Text

: Text

: Text

The context description of a lock.

: Text

Key used to signal to a choice whether an expired locked amulet should be unlocked.

: Metadata -> Either Text (Optional [AppRewardBeneficiary])

: Text -> (Text -> Optional a) -> Text -> Either Text [a]

: ToAnyValue a => Text -> Optional a -> TextMap AnyValue -> TextMap AnyValue

Convenience function to create maps that contain an optional value if it is set. See its use sites for examples.

: FromAnyValue a => ChoiceContext -> Text -> Either Text (Optional a)

Lookup and decode a value within a choice context.

: FromAnyValue a => ChoiceContext -> Text -> Either Text a

Get a value from a choice context, failing if it is not present or fails to parse.

: FromAnyValue a => ChoiceContext -> Text -> Update (Optional a)

Convenience version of lookupFromContext that raises the failure within the Update.

: FromAnyValue a => ChoiceContext -> Text -> Update a

Convenience version of getFromContext that raises the failure within the Update.