plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Test.ContractModel.Symbolics

Synopsis

Documentation

newtype AssetKey Source #

Constructors

AssetKey Int 

Instances

Instances details
Eq AssetKey Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

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

Ord AssetKey Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

Show AssetKey Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

ToJSONKey AssetKey Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

FromJSONKey AssetKey Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

data SymToken Source #

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

Constructors

SymToken 

Instances

Instances details
Eq SymToken Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

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

Show SymToken Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

TokenLike SymToken Source # 
Instance details

Defined in Plutus.Contract.Test.ContractModel.Symbolics

data SymValue Source #

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

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