quickcheck-contractmodel-0.1.4.1
Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.ContractModel.Internal.ChainIndex

Documentation

data ChainState Source #

Constructors

ChainState 

Fields

data TxInState Source #

Constructors

TxInState 

Fields

data ChainIndex Source #

Constructors

ChainIndex 

Fields

Instances

Instances details
Semigroup ChainIndex Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal.ChainIndex

Methods

(<>) :: ChainIndex -> ChainIndex -> ChainIndex Source #

sconcat :: NonEmpty ChainIndex -> ChainIndex Source #

stimes :: Integral b => b -> ChainIndex -> ChainIndex Source #

class HasChainIndex m where Source #

Methods

getChainIndex :: m ChainIndex Source #

getChainState :: m ChainState Source #

Instances

Instances details
(Monad m, HasChainIndex m) => HasChainIndex (PostconditionM m) Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal

Methods

getChainIndex :: PostconditionM m ChainIndex Source #

getChainState :: PostconditionM m ChainState Source #

(Monad m, HasChainIndex m) => HasChainIndex (RunMonad m) Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal

Methods

getChainIndex :: RunMonad m ChainIndex Source #

getChainState :: RunMonad m ChainState Source #

(Monad m, HasChainIndex m) => HasChainIndex (ReaderT r m) Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal.ChainIndex

Methods

getChainIndex :: ReaderT r m ChainIndex Source #

getChainState :: ReaderT r m ChainState Source #

(Monad m, HasChainIndex m) => HasChainIndex (StateT s m) Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal.ChainIndex

Methods

getChainIndex :: StateT s m ChainIndex Source #

getChainState :: StateT s m ChainState Source #

(Monad m, Monoid w, HasChainIndex m) => HasChainIndex (WriterT w m) Source # 
Instance details

Defined in Test.QuickCheck.ContractModel.Internal.ChainIndex

Methods

getChainIndex :: WriterT w m ChainIndex Source #

getChainState :: WriterT w m ChainState Source #

allMinAda :: ChainIndex -> ProtocolParameters -> [Lovelace] Source #

type FeeCalculation = NetworkId -> TxInState -> Map (AddressInEra Era) Value Source #

signerPaysFees :: FeeCalculation Source #

mkAddrFromWitness :: NetworkId -> KeyWitness Era -> Address ShelleyAddr Source #

getBalanceChangesDiscountingFees :: ChainIndex -> FeeCalculation -> Map (AddressInEra Era) Value Source #

txBalanceChanges :: TxInState -> Map (AddressInEra Era) Value Source #