Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.ContractModel.Symbolics

Synopsis

newtype AssetKey = AssetKey Int
data SymToken = SymToken {
- symVar :: Var AssetKey
- symVarIdx :: String
}
data SymValue = SymValue {
- symValMap :: Map SymToken Integer
- actualValPart :: Value
}
symIsZero :: SymValue -> Bool
symLeq :: SymValue -> SymValue -> Bool
toValue :: (SymToken -> AssetClass) -> SymValue -> Value
toSymVal :: (AssetClass -> Maybe SymToken) -> Value -> SymValue
inv :: SymValue -> SymValue
class SymValueLike v where
- toSymValue :: v -> SymValue
class TokenLike t where
- symAssetIdValueOf :: SymValue -> t -> Integer
- symAssetIdValue :: t -> Integer -> SymValue

Documentation

newtype AssetKey Source #

Constructors

AssetKey Int

Instances

Instances details

Eq AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods (==) :: AssetKey -> AssetKey -> Bool Source # (/=) :: AssetKey -> AssetKey -> Bool Source #
Data AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssetKey -> c AssetKey Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssetKey Source # toConstr :: AssetKey -> Constr Source # dataTypeOf :: AssetKey -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssetKey) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssetKey) Source # gmapT :: (forall b. Data b => b -> b) -> AssetKey -> AssetKey Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssetKey -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssetKey -> r Source # gmapQ :: (forall d. Data d => d -> u) -> AssetKey -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> AssetKey -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssetKey -> m AssetKey Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssetKey -> m AssetKey Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssetKey -> m AssetKey Source #
Num AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods (+) :: AssetKey -> AssetKey -> AssetKey Source # (-) :: AssetKey -> AssetKey -> AssetKey Source # (*) :: AssetKey -> AssetKey -> AssetKey Source # negate :: AssetKey -> AssetKey Source # abs :: AssetKey -> AssetKey Source # signum :: AssetKey -> AssetKey Source # fromInteger :: Integer -> AssetKey Source #
Ord AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods compare :: AssetKey -> AssetKey -> Ordering Source # (<) :: AssetKey -> AssetKey -> Bool Source # (<=) :: AssetKey -> AssetKey -> Bool Source # (>) :: AssetKey -> AssetKey -> Bool Source # (>=) :: AssetKey -> AssetKey -> Bool Source # max :: AssetKey -> AssetKey -> AssetKey Source # min :: AssetKey -> AssetKey -> AssetKey Source #
Show AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods showsPrec :: Int -> AssetKey -> ShowS Source # show :: AssetKey -> String Source # showList :: [AssetKey] -> ShowS Source #
ToJSONKey AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods toJSONKey :: ToJSONKeyFunction AssetKey Source # toJSONKeyList :: ToJSONKeyFunction [AssetKey] Source #
FromJSONKey AssetKey Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods fromJSONKey :: FromJSONKeyFunction AssetKey Source # fromJSONKeyList :: FromJSONKeyFunction [AssetKey] Source #

data SymToken Source #

A symbolic token is a token that exists only during ContractModel generation time

Constructors

SymToken
Fields symVar :: Var AssetKey symVarIdx :: String

Instances

Instances details

Eq SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods (==) :: SymToken -> SymToken -> Bool Source # (/=) :: SymToken -> SymToken -> Bool Source #
Data SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymToken -> c SymToken Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymToken Source # toConstr :: SymToken -> Constr Source # dataTypeOf :: SymToken -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SymToken) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymToken) Source # gmapT :: (forall b. Data b => b -> b) -> SymToken -> SymToken Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymToken -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymToken -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SymToken -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SymToken -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymToken -> m SymToken Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymToken -> m SymToken Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymToken -> m SymToken Source #
Ord SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods compare :: SymToken -> SymToken -> Ordering Source # (<) :: SymToken -> SymToken -> Bool Source # (<=) :: SymToken -> SymToken -> Bool Source # (>) :: SymToken -> SymToken -> Bool Source # (>=) :: SymToken -> SymToken -> Bool Source # max :: SymToken -> SymToken -> SymToken Source # min :: SymToken -> SymToken -> SymToken Source #
Show SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods showsPrec :: Int -> SymToken -> ShowS Source # show :: SymToken -> String Source # showList :: [SymToken] -> ShowS Source #
TokenLike SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods symAssetIdValueOf :: SymValue -> SymToken -> Integer Source # symAssetIdValue :: SymToken -> Integer -> SymValue Source #

data SymValue Source #

A symbolic value is a combination of a real value and a value associating symbolic tokens with an amount

Constructors

SymValue
Fields symValMap :: Map SymToken Integer actualValPart :: Value

Instances

Instances details

Eq SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods (==) :: SymValue -> SymValue -> Bool Source # (/=) :: SymValue -> SymValue -> Bool Source #
Data SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymValue -> c SymValue Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymValue Source # toConstr :: SymValue -> Constr Source # dataTypeOf :: SymValue -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SymValue) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymValue) Source # gmapT :: (forall b. Data b => b -> b) -> SymValue -> SymValue Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymValue -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymValue -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SymValue -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SymValue -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymValue -> m SymValue Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymValue -> m SymValue Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymValue -> m SymValue Source #
Show SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods showsPrec :: Int -> SymValue -> ShowS Source # show :: SymValue -> String Source # showList :: [SymValue] -> ShowS Source #
Semigroup SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods (<>) :: SymValue -> SymValue -> SymValue Source # sconcat :: NonEmpty SymValue -> SymValue Source # stimes :: Integral b => b -> SymValue -> SymValue Source #
Monoid SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods mempty :: SymValue Source # mappend :: SymValue -> SymValue -> SymValue Source # mconcat :: [SymValue] -> SymValue Source #
SymValueLike SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods toSymValue :: SymValue -> SymValue Source #

symIsZero :: SymValue -> Bool Source #

Check if a symbolic value is zero

symLeq :: SymValue -> SymValue -> Bool Source #

Check if one symbolic value is less than or equal to another

toValue :: (SymToken -> AssetClass) -> SymValue -> Value Source #

Using a semantics function for symbolic tokens, convert a SymValue to a Value

toSymVal :: (AssetClass -> Maybe SymToken) -> Value -> SymValue Source #

Invert a sym token mapping to turn a Value into a SymValue, useful for error reporting

inv :: SymValue -> SymValue Source #

class SymValueLike v where Source #

Methods

toSymValue :: v -> SymValue Source #

Instances

Instances details

SymValueLike Value Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods toSymValue :: Value -> SymValue Source #
SymValueLike Ada Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods toSymValue :: Ada -> SymValue Source #
SymValueLike SymValue Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods toSymValue :: SymValue -> SymValue Source #

class TokenLike t where Source #

Methods

symAssetIdValueOf :: SymValue -> t -> Integer Source #

Get the value of a specific token in a SymValue

symAssetIdValue :: t -> Integer -> SymValue Source #

Convert a token and an amount to a SymValue

Instances

Instances details

TokenLike AssetClass Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods symAssetIdValueOf :: SymValue -> AssetClass -> Integer Source # symAssetIdValue :: AssetClass -> Integer -> SymValue Source #
TokenLike SymToken Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Symbolics Methods symAssetIdValueOf :: SymValue -> SymToken -> Integer Source # symAssetIdValue :: SymToken -> Integer -> SymValue Source #