Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.ContractModel.Internal.Symbolics

Synopsis

data SymIndexF f = SymIndex {
- _tokens :: f AssetId
- _utxos :: f (TxOut CtxUTxO Era)
- _txIns :: f TxIn
}
utxos :: forall f. Lens' (SymIndexF f) (f (TxOut CtxUTxO Era))
txIns :: forall f. Lens' (SymIndexF f) (f TxIn)
tokens :: forall f. Lens' (SymIndexF f) (f AssetId)
class HasSymbolicRep t where
- symIndexL :: Lens' (SymIndexF f) (f t)
- symPrefix :: String
bmapConst :: FunctorB b => (forall a. f a -> c) -> b f -> Container b c
mappendSymIndexF :: forall f. (AllBF Semigroup f SymIndexF, Show (SymIndexF f)) => (forall a. f a -> Set String) -> SymIndexF f -> SymIndexF f -> SymIndexF f
type SymIndex = SymIndexF (Map String)
symIndex :: HasSymbolicRep t => String -> t -> SymIndex
type SymCreationIndex = SymIndexF (Const (Set String))
toCreationIndex :: SymIndex -> SymCreationIndex
createIndex :: forall t. HasSymbolicRep t => String -> SymCreationIndex
showCreateIndex :: SymCreationIndex -> String
type SymCollectionIndex = SymIndexF SymSet
newtype SymSet t = SymSet {
- unSymSet :: Set (Symbolic t)
}
symCollect :: HasSymbolicRep t => Symbolic t -> SymCollectionIndex
makeSymCollection :: SymCreationIndex -> Var SymIndex -> SymCollectionIndex
symCollectionSubset :: SymCollectionIndex -> SymCollectionIndex -> Bool
data Symbolic t = Symbolic {
- symVar :: Var SymIndex
- symVarIdx :: String
}
type SymbolicSemantics = forall t. HasSymbolicRep t => Symbolic t -> t
getSymbolics :: forall t. HasSymbolicRep t => SymCreationIndex -> Var SymIndex -> Set (Symbolic t)
lookupSymbolic :: HasSymbolicRep t => SymIndex -> Symbolic t -> Maybe t
type SymToken = Symbolic AssetId
type SymTxOut = Symbolic (TxOut CtxUTxO Era)
type SymTxIn = Symbolic TxIn
data SymValue = SymValue {
- symValMap :: Map SymToken Quantity
- actualValPart :: Value
}
pPrintValue :: Value -> Doc
pPrintAssetId :: AssetId -> Doc
symIsZero :: SymValue -> Bool
symLeq :: SymValue -> SymValue -> Bool
toValue :: (SymToken -> AssetId) -> SymValue -> Value
toSymVal :: (AssetId -> Maybe SymToken) -> Value -> SymValue
inv :: SymValue -> SymValue
class SymValueLike v where
- toSymValue :: v -> SymValue
class TokenLike t where
- symAssetIdValueOf :: SymValue -> t -> Quantity
- symAssetIdValue :: t -> Quantity -> SymValue

Documentation

data SymIndexF f Source #

Constructors

SymIndex
Fields _tokens :: f AssetId _utxos :: f (TxOut CtxUTxO Era) _txIns :: f TxIn

Instances

Instances details

Semigroup SymCollectionIndex Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (<>) :: SymCollectionIndex -> SymCollectionIndex -> SymCollectionIndex Source # sconcat :: NonEmpty SymCollectionIndex -> SymCollectionIndex Source # stimes :: Integral b => b -> SymCollectionIndex -> SymCollectionIndex Source #
Semigroup SymCreationIndex Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (<>) :: SymCreationIndex -> SymCreationIndex -> SymCreationIndex Source # sconcat :: NonEmpty SymCreationIndex -> SymCreationIndex Source # stimes :: Integral b => b -> SymCreationIndex -> SymCreationIndex Source #
Semigroup SymIndex Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (<>) :: SymIndex -> SymIndex -> SymIndex Source # sconcat :: NonEmpty SymIndex -> SymIndex Source # stimes :: Integral b => b -> SymIndex -> SymIndex Source #
Monad m => MonadWriter SymIndex (RunMonad m)
Instance details Defined in Test.QuickCheck.ContractModel.Internal Methods writer :: (a, SymIndex) -> RunMonad m a tell :: SymIndex -> RunMonad m () listen :: RunMonad m a -> RunMonad m (a, SymIndex) pass :: RunMonad m (a, SymIndex -> SymIndex) -> RunMonad m a
AllBF Eq f SymIndexF => Eq (SymIndexF f) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (==) :: SymIndexF f -> SymIndexF f -> Bool Source # (/=) :: SymIndexF f -> SymIndexF f -> Bool Source #
AllBF Show f SymIndexF => Show (SymIndexF f) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods showsPrec :: Int -> SymIndexF f -> ShowS Source # show :: SymIndexF f -> String Source # showList :: [SymIndexF f] -> ShowS Source #
Generic (SymIndexF f) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Associated Types type Rep (SymIndexF f) :: Type -> Type Source # Methods from :: SymIndexF f -> Rep (SymIndexF f) x Source # to :: Rep (SymIndexF f) x -> SymIndexF f Source #
(AllBF Monoid f SymIndexF, Semigroup (SymIndexF f)) => Monoid (SymIndexF f) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods mempty :: SymIndexF f Source # mappend :: SymIndexF f -> SymIndexF f -> SymIndexF f Source # mconcat :: [SymIndexF f] -> SymIndexF f Source #
ConstraintsB SymIndexF Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Associated Types type AllB c SymIndexF Methods baddDicts :: forall (c :: k -> Constraint) (f :: k -> Type). AllB c SymIndexF => SymIndexF f -> SymIndexF (Product (Dict c) f)
FunctorB SymIndexF Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods bmap :: (forall (a :: k). f a -> g a) -> SymIndexF f -> SymIndexF g
ApplicativeB SymIndexF Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods bpure :: (forall (a :: k). f a) -> SymIndexF f bprod :: forall (f :: k -> Type) (g :: k -> Type). SymIndexF f -> SymIndexF g -> SymIndexF (Product f g)
TraversableB SymIndexF Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> SymIndexF f -> e (SymIndexF g)
type Rep (SymIndexF f) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics type Rep (SymIndexF f) = D1 ('MetaData "SymIndexF" "Test.QuickCheck.ContractModel.Internal.Symbolics" "quickcheck-contractmodel-0.1.4.1-3bqn4RrQanG11zXTiHDaXF" 'False) (C1 ('MetaCons "SymIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tokens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f AssetId)) :: (S1 ('MetaSel ('Just "_utxos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TxOut CtxUTxO Era))) :: S1 ('MetaSel ('Just "_txIns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f TxIn)))))
type AllB (c :: Type -> Constraint) SymIndexF Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics type AllB (c :: Type -> Constraint) SymIndexF = GAll 0 c (GAllRepB SymIndexF)

utxos :: forall f. Lens' (SymIndexF f) (f (TxOut CtxUTxO Era)) Source #

txIns :: forall f. Lens' (SymIndexF f) (f TxIn) Source #

tokens :: forall f. Lens' (SymIndexF f) (f AssetId) Source #

class HasSymbolicRep t where Source #

Methods

symIndexL :: Lens' (SymIndexF f) (f t) Source #

symPrefix :: String Source #

Instances

Instances details

HasSymbolicRep TxIn Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symIndexL :: forall (f :: Type -> Type). Lens' (SymIndexF f) (f TxIn) Source # symPrefix :: String Source #
HasSymbolicRep AssetId Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symIndexL :: forall (f :: Type -> Type). Lens' (SymIndexF f) (f AssetId) Source # symPrefix :: String Source #
HasSymbolicRep (TxOut CtxUTxO Era) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symIndexL :: forall (f :: Type -> Type). Lens' (SymIndexF f) (f (TxOut CtxUTxO Era)) Source # symPrefix :: String Source #

bmapConst :: FunctorB b => (forall a. f a -> c) -> b f -> Container b c Source #

mappendSymIndexF :: forall f. (AllBF Semigroup f SymIndexF, Show (SymIndexF f)) => (forall a. f a -> Set String) -> SymIndexF f -> SymIndexF f -> SymIndexF f Source #

type SymIndex = SymIndexF (Map String) Source #

For an assumed variable, what's the mapping of String indices to underlying actual values. This is what is returned by a contract model action when it runs.

symIndex :: HasSymbolicRep t => String -> t -> SymIndex Source #

type SymCreationIndex = SymIndexF (Const (Set String)) Source #

For a given action, what are the String indices used to construct symbolic variables when this action ran. NOTE: this purposefully does not include the variable because we might want to fake the variable with `Var 0` in some cases. See comment somewhere for why this is safe...

toCreationIndex :: SymIndex -> SymCreationIndex Source #

createIndex :: forall t. HasSymbolicRep t => String -> SymCreationIndex Source #

showCreateIndex :: SymCreationIndex -> String Source #

type SymCollectionIndex = SymIndexF SymSet Source #

What symbolic variables have been created in a given run of the Spec monad?

newtype SymSet t Source #

Constructors

SymSet
Fields unSymSet :: Set (Symbolic t)

Instances

Instances details

Semigroup SymCollectionIndex Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (<>) :: SymCollectionIndex -> SymCollectionIndex -> SymCollectionIndex Source # sconcat :: NonEmpty SymCollectionIndex -> SymCollectionIndex Source # stimes :: Integral b => b -> SymCollectionIndex -> SymCollectionIndex Source #
Show (Symbolic t) => Show (SymSet t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods showsPrec :: Int -> SymSet t -> ShowS Source # show :: SymSet t -> String Source # showList :: [SymSet t] -> ShowS Source #
Generic (SymSet t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Associated Types type Rep (SymSet t) :: Type -> Type Source # Methods from :: SymSet t -> Rep (SymSet t) x Source # to :: Rep (SymSet t) x -> SymSet t Source #
Semigroup (SymSet t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (<>) :: SymSet t -> SymSet t -> SymSet t Source # sconcat :: NonEmpty (SymSet t) -> SymSet t Source # stimes :: Integral b => b -> SymSet t -> SymSet t Source #
Monoid (SymSet t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods mempty :: SymSet t Source # mappend :: SymSet t -> SymSet t -> SymSet t Source # mconcat :: [SymSet t] -> SymSet t Source #
type Rep (SymSet t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics type Rep (SymSet t) = D1 ('MetaData "SymSet" "Test.QuickCheck.ContractModel.Internal.Symbolics" "quickcheck-contractmodel-0.1.4.1-3bqn4RrQanG11zXTiHDaXF" 'True) (C1 ('MetaCons "SymSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSymSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Symbolic t)))))

symCollect :: HasSymbolicRep t => Symbolic t -> SymCollectionIndex Source #

makeSymCollection :: SymCreationIndex -> Var SymIndex -> SymCollectionIndex Source #

symCollectionSubset :: SymCollectionIndex -> SymCollectionIndex -> Bool Source #

data Symbolic t Source #

Constructors

Symbolic
Fields symVar :: Var SymIndex symVarIdx :: String

Instances

Instances details

TokenLike SymToken Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symAssetIdValueOf :: SymValue -> SymToken -> Quantity Source # symAssetIdValue :: SymToken -> Quantity -> SymValue Source #
Eq (Symbolic t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (==) :: Symbolic t -> Symbolic t -> Bool Source # (/=) :: Symbolic t -> Symbolic t -> Bool Source #
Ord (Symbolic t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods compare :: Symbolic t -> Symbolic t -> Ordering Source # (<) :: Symbolic t -> Symbolic t -> Bool Source # (<=) :: Symbolic t -> Symbolic t -> Bool Source # (>) :: Symbolic t -> Symbolic t -> Bool Source # (>=) :: Symbolic t -> Symbolic t -> Bool Source # max :: Symbolic t -> Symbolic t -> Symbolic t Source # min :: Symbolic t -> Symbolic t -> Symbolic t Source #
HasSymbolicRep t => Show (Symbolic t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods showsPrec :: Int -> Symbolic t -> ShowS Source # show :: Symbolic t -> String Source # showList :: [Symbolic t] -> ShowS Source #
HasVariables (Symbolic t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods getAllVariables :: Symbolic t -> Set (Any Var)
HasSymbolicRep t => HasSymbolics (Symbolic t) Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Model Methods getAllSymbolics :: Symbolic t -> SymCollectionIndex Source #

type SymbolicSemantics = forall t. HasSymbolicRep t => Symbolic t -> t Source #

getSymbolics :: forall t. HasSymbolicRep t => SymCreationIndex -> Var SymIndex -> Set (Symbolic t) Source #

lookupSymbolic :: HasSymbolicRep t => SymIndex -> Symbolic t -> Maybe t Source #

type SymToken = Symbolic AssetId Source #

A symbolic token is a token that is only available at runtime

type SymTxOut = Symbolic (TxOut CtxUTxO Era) Source #

A SymTxOut is a `TxOut CtxUTxO Era` that is only available at runtime

type SymTxIn = Symbolic TxIn Source #

A SymTxIn is a TxIn that is only available at runtime

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 Quantity actualValPart :: Value

Instances

Instances details

Eq SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods (==) :: SymValue -> SymValue -> Bool Source # (/=) :: SymValue -> SymValue -> Bool Source #
Show SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods showsPrec :: Int -> SymValue -> ShowS Source # show :: SymValue -> String Source # showList :: [SymValue] -> ShowS Source #
Generic SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Associated Types type Rep SymValue :: Type -> Type Source # Methods from :: SymValue -> Rep SymValue x Source # to :: Rep SymValue x -> SymValue Source #
Semigroup SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.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 Test.QuickCheck.ContractModel.Internal.Symbolics Methods mempty :: SymValue Source # mappend :: SymValue -> SymValue -> SymValue Source # mconcat :: [SymValue] -> SymValue Source #
Pretty SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods pPrintPrec :: PrettyLevel -> Rational -> SymValue -> Doc Source # pPrint :: SymValue -> Doc Source # pPrintList :: PrettyLevel -> [SymValue] -> Doc Source #
SymValueLike SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods toSymValue :: SymValue -> SymValue Source #
type Rep SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics type Rep SymValue = D1 ('MetaData "SymValue" "Test.QuickCheck.ContractModel.Internal.Symbolics" "quickcheck-contractmodel-0.1.4.1-3bqn4RrQanG11zXTiHDaXF" 'False) (C1 ('MetaCons "SymValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "symValMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SymToken Quantity)) :*: S1 ('MetaSel ('Just "actualValPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

pPrintValue :: Value -> Doc Source #

pPrintAssetId :: AssetId -> Doc 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 -> AssetId) -> SymValue -> Value Source #

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

toSymVal :: (AssetId -> 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 Test.QuickCheck.ContractModel.Internal.Symbolics Methods toSymValue :: Value -> SymValue Source #
SymValueLike SymValue Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods toSymValue :: SymValue -> SymValue Source #

class TokenLike t where Source #

Methods

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

Get the value of a specific token in a SymValue

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

Convert a token and an amount to a SymValue

Instances

Instances details

TokenLike AssetId Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symAssetIdValueOf :: SymValue -> AssetId -> Quantity Source # symAssetIdValue :: AssetId -> Quantity -> SymValue Source #
TokenLike SymToken Source #
Instance details Defined in Test.QuickCheck.ContractModel.Internal.Symbolics Methods symAssetIdValueOf :: SymValue -> SymToken -> Quantity Source # symAssetIdValue :: SymToken -> Quantity -> SymValue Source #