Ctl.Internal.Types.Val

data Val

A long-integer-backed Value that can be negative and does not overflow. Used in CTL internally instead of the ledger-style Value type to simplify overflow handling.

Constructors

• Val BigInt ValAssets

Instances

• Eq Val
• Semigroup Val
• Monoid Val
• Generic Val _
• Show Val
• JoinSemilattice Val
• MeetSemilattice Val
• Split Val

class Split (a :: Type)  where

Split a value into its positive and non-positive parts. The first element of the tuple contains the non-positive parts of the value, the second element contains the positive parts. The convention is non-positive parts are negated to make them positive in the output.

Members

• split :: a -> a /\ a

Instances

• Split BigInt
• Split Val

type ValAssets = Map ScriptHash (Map AssetName BigInt)

leq :: Val -> Val -> Boolean

checkBinRel :: (BigInt -> BigInt -> Boolean) -> Val -> Val -> Boolean

checkPred :: (These BigInt BigInt -> Boolean) -> Val -> Val -> Boolean

getCoin :: Val -> BigInt

getAssets :: Val -> Map ScriptHash (Map AssetName BigInt)

getAssetQuantity :: AssetClass -> Val -> BigInt

valueAssets :: Val -> Array (AssetClass /\ BigInt)

pprintVal :: Val -> TagSet

fromCoin :: Coin -> Val

fromValue :: Value -> Val

toMultiAsset :: Map ScriptHash (Map AssetName BigInt) -> Maybe MultiAsset

toValue :: Val -> Maybe Value

fromMultiAsset :: MultiAsset -> Val

fromMint :: Mint -> Val

minus :: Val -> Val -> Val

mapThese :: forall (a :: Type) (b :: Type) (k :: Type) (v :: Type). Ord k => (v -> These a b) -> Map k v -> (Map k a) /\ (Map k b)

unionWithNonAda :: (BigInt -> BigInt -> BigInt) -> Map ScriptHash (Map AssetName BigInt) -> Map ScriptHash (Map AssetName BigInt) -> Map ScriptHash (Map AssetName BigInt)

unionNonAda :: Map ScriptHash (Map AssetName BigInt) -> Map ScriptHash (Map AssetName BigInt) -> Map ScriptHash (Map AssetName (These BigInt BigInt))