Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.QuickCheck.ContractModel.Internal.ChainIndex
Documentation
data ChainState Source #
Constructors
ChainState | |
Constructors
TxInState | |
Fields
|
data ChainIndex Source #
Constructors
ChainIndex | |
Fields
|
Instances
Semigroup ChainIndex Source # | |
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 #
Instances
allMinAda :: ChainIndex -> ProtocolParameters -> [Lovelace] Source #
type FeeCalculation = NetworkId -> TxInState -> Map (AddressInEra Era) Value Source #
mkAddrFromWitness :: NetworkId -> KeyWitness Era -> Address ShelleyAddr Source #
getBalanceChangesDiscountingFees :: ChainIndex -> FeeCalculation -> Map (AddressInEra Era) Value Source #
txBalanceChanges :: TxInState -> Map (AddressInEra Era) Value Source #