Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.ImpTest

Contents

Logging
Combinators

Synopsis

data ImpTestM era a
data SomeSTSEvent era = ∀ (rule ∷ Symbol).(Typeable (Event (EraRule rule era)), Eq (Event (EraRule rule era)), ToExpr (Event (EraRule rule era))) ⇒ SomeSTSEvent (Event (EraRule rule era))
runImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO (b, ImpTestState era)
runImpTestM_ ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO ()
evalImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO b
execImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO (ImpTestState era)
runImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO (b, ImpTestState era))
runImpTestGenM_ ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO ())
evalImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO b)
execImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO (ImpTestState era))
data ImpTestState era
data ImpTestEnv era = ImpTestEnv {
- iteState ∷ !(IORef (ImpTestState era))
- iteFixup ∷ Tx era → ImpTestM era (Tx era)
- iteQuickCheckSize ∷ !Int
- iteCborRoundTripFailures ∷ !Bool
}
data ImpException = ImpException {
- ieAnnotation ∷ [Doc AnsiStyle]
- ieThrownException ∷ SomeException
}
class (EraGov era, EraUTxO era, EraTxOut era, EraPParams era, ShelleyEraTxCert era, ShelleyEraScript era, ToExpr (Tx era), NFData (Tx era), ToExpr (TxBody era), ToExpr (TxOut era), ToExpr (Value era), ToExpr (PParams era), ToExpr (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), Show (NewEpochState era), ToExpr (NewEpochState era), ToExpr (GovState era), Eq (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), ToExpr (StashedAVVMAddresses era), NFData (StashedAVVMAddresses era), Default (StashedAVVMAddresses era), STS (EraRule "BBODY" era), BaseM (EraRule "BBODY" era) ~ ShelleyBase, Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ Block (BHeaderView (EraCrypto era)) era, State (EraRule "LEDGERS" era) ~ LedgerState era, STS (EraRule "LEDGER" era), BaseM (EraRule "LEDGER" era) ~ ShelleyBase, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Eq (PredicateFailure (EraRule "LEDGER" era)), Show (PredicateFailure (EraRule "LEDGER" era)), ToExpr (PredicateFailure (EraRule "LEDGER" era)), NFData (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EraRuleEvent "LEDGER" era ~ Event (EraRule "LEDGER" era), Eq (EraRuleEvent "LEDGER" era), ToExpr (EraRuleEvent "LEDGER" era), NFData (EraRuleEvent "LEDGER" era), Typeable (EraRuleEvent "LEDGER" era), STS (EraRule "TICK" era), BaseM (EraRule "TICK" era) ~ ShelleyBase, Signal (EraRule "TICK" era) ~ SlotNo, State (EraRule "TICK" era) ~ NewEpochState era, Environment (EraRule "TICK" era) ~ (), NFData (PredicateFailure (EraRule "TICK" era)), EraRuleEvent "TICK" era ~ Event (EraRule "TICK" era), Eq (EraRuleEvent "TICK" era), ToExpr (EraRuleEvent "TICK" era), NFData (EraRuleEvent "TICK" era), Typeable (EraRuleEvent "TICK" era), ToExpr (PredicateFailure (EraRule "UTXOW" era)), DSIGN (EraCrypto era) ~ Ed25519DSIGN, NFData (VerKeyDSIGN (DSIGN (EraCrypto era))), VRFAlgorithm (VRF (EraCrypto era)), HashAlgorithm (HASH (EraCrypto era)), DSIGNAlgorithm (DSIGN (EraCrypto era)), Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), ADDRHASH (EraCrypto era) ~ Blake2b_224) ⇒ ShelleyEraImp era where
- initGenesis ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Genesis era)
- initNewEpochState ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (NewEpochState era)
- initImpTestState ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasSubState s, SubState s ~ StateGen QCGen, HasStatefulGen (StateGenM s) m) ⇒ m (ImpTestState era)
- impSatisfyNativeScript ∷ Set (KeyHash 'Witness (EraCrypto era)) → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era))))
- modifyPParams ∷ (PParams era → PParams era) → ImpTestM era ()
- fixupTx ∷ HasCallStack ⇒ Tx era → ImpTestM era (Tx era)
data PlutusArgs
data ScriptTestContext
impWitsVKeyNeeded ∷ EraUTxO era ⇒ TxBody era → ImpTestM era (Set (BootstrapAddress (EraCrypto era)), Set (KeyHash 'Witness (EraCrypto era)))
modifyPrevPParams ∷ EraGov era ⇒ (PParams era → PParams era) → ImpTestM era ()
passEpoch ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ ImpTestM era ()
passNEpochs ∷ ∀ era. ShelleyEraImp era ⇒ Natural → ImpTestM era ()
passNEpochsChecking ∷ ∀ era. ShelleyEraImp era ⇒ Natural → ImpTestM era () → ImpTestM era ()
passTick ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ ImpTestM era ()
freshKeyAddr ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c, Addr c)
freshKeyAddr_ ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Addr c)
freshKeyHash ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c)
freshKeyPair ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c, KeyPair r c)
lookupKeyPair ∷ (HasCallStack, HasKeyPairs s c, MonadState s m) ⇒ KeyHash r c → m (KeyPair r c)
freshByronKeyHash ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c)
freshBootstapAddress ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (BootstrapAddress c)
lookupByronKeyPair ∷ (HasCallStack, HasKeyPairs s c, MonadState s m) ⇒ BootstrapAddress c → m ByronKeyPair
freshSafeHash ∷ Era era ⇒ ImpTestM era (SafeHash (EraCrypto era) a)
freshKeyHashVRF ∷ Era era ⇒ ImpTestM era (Hash (HASH (EraCrypto era)) (VerKeyVRF (EraCrypto era)))
submitTx ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era (Tx era)
submitTx_ ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era ()
submitTxAnn ∷ (HasCallStack, ShelleyEraImp era) ⇒ String → Tx era → ImpTestM era (Tx era)
submitTxAnn_ ∷ (HasCallStack, ShelleyEraImp era) ⇒ String → Tx era → ImpTestM era ()
submitFailingTx ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → NonEmpty (PredicateFailure (EraRule "LEDGER" era)) → ImpTestM era ()
submitFailingTxM ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → (Tx era → ImpTestM era (NonEmpty (PredicateFailure (EraRule "LEDGER" era)))) → ImpTestM era ()
trySubmitTx ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era)), Tx era) (Tx era))
modifyNES ∷ (NewEpochState era → NewEpochState era) → ImpTestM era ()
getProtVer ∷ EraGov era ⇒ ImpTestM era ProtVer
getsNES ∷ SimpleGetter (NewEpochState era) a → ImpTestM era a
getUTxO ∷ ImpTestM era (UTxO era)
impAddNativeScript ∷ ∀ era. EraScript era ⇒ NativeScript era → ImpTestM era (ScriptHash (EraCrypto era))
impAnn ∷ NFData a ⇒ String → ImpTestM era a → ImpTestM era a
impAnnDoc ∷ NFData a ⇒ Doc AnsiStyle → ImpTestM era a → ImpTestM era a
impLogToExpr ∷ (HasCallStack, ToExpr a) ⇒ ImpTestM era a → ImpTestM era a
runImpRule ∷ ∀ rule era. (HasCallStack, KnownSymbol rule, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, NFData (State (EraRule rule era)), NFData (Event (EraRule rule era)), ToExpr (Event (EraRule rule era)), Eq (Event (EraRule rule era)), Typeable (Event (EraRule rule era))) ⇒ Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → ImpTestM era (State (EraRule rule era))
tryRunImpRule ∷ ∀ rule era. (STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase) ⇒ Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → ImpTestM era (Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)]))
delegateStake ∷ ShelleyEraImp era ⇒ Credential 'Staking (EraCrypto era) → KeyHash 'StakePool (EraCrypto era) → ImpTestM era ()
registerRewardAccount ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ ImpTestM era (RewardAccount (EraCrypto era))
registerStakeCredential ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era (RewardAccount (EraCrypto era))
getRewardAccountFor ∷ Credential 'Staking (EraCrypto era) → ImpTestM era (RewardAccount (EraCrypto era))
lookupReward ∷ HasCallStack ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era Coin
poolParams ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → RewardAccount (EraCrypto era) → ImpTestM era (PoolParams (EraCrypto era))
registerPool ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → ImpTestM era ()
registerPoolWithRewardAccount ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → RewardAccount (EraCrypto era) → ImpTestM era ()
registerAndRetirePoolToMakeReward ∷ ShelleyEraImp era ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era ()
getRewardAccountAmount ∷ RewardAccount (EraCrypto era) → ImpTestM era Coin
withImpState ∷ ShelleyEraImp era ⇒ SpecWith (ImpTestState era) → Spec
withImpStateModified ∷ ∀ era. ShelleyEraImp era ⇒ (ImpTestState era → ImpTestState era) → SpecWith (ImpTestState era) → Spec
shelleyFixupTx ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Tx era)
lookupImpRootTxOut ∷ ImpTestM era (TxIn (EraCrypto era), TxOut era)
sendValueTo ∷ (ShelleyEraImp era, HasCallStack) ⇒ Addr (EraCrypto era) → Value era → ImpTestM era (TxIn (EraCrypto era))
sendCoinTo ∷ (ShelleyEraImp era, HasCallStack) ⇒ Addr (EraCrypto era) → Coin → ImpTestM era (TxIn (EraCrypto era))
expectRegisteredRewardAddress ∷ RewardAccount (EraCrypto era) → ImpTestM era ()
expectNotRegisteredRewardAddress ∷ RewardAccount (EraCrypto era) → ImpTestM era ()
expectTreasury ∷ HasCallStack ⇒ Coin → ImpTestM era ()
updateAddrTxWits ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era (Tx era)
addNativeScriptTxWits ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era)
addRootTxIn ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era)
fixupTxOuts ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era)
fixupFees ∷ (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Tx era)
fixupAuxDataHash ∷ (EraTx era, Applicative m) ⇒ Tx era → m (Tx era)
impGetNativeScript ∷ ScriptHash (EraCrypto era) → ImpTestM era (Maybe (NativeScript era))
impLookupUTxO ∷ ShelleyEraImp era ⇒ TxIn (EraCrypto era) → ImpTestM era (TxOut era)
defaultInitNewEpochState ∷ ∀ era s m. (MonadState s m, HasKeyPairs s (EraCrypto era), HasStatefulGen (StateGenM s) m, ShelleyEraImp era, ShelleyEraImp (PreviousEra era), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, TranslationContext era ~ Genesis era, EraCrypto era ~ EraCrypto (PreviousEra era)) ⇒ (NewEpochState (PreviousEra era) → NewEpochState (PreviousEra era)) → m (NewEpochState era)
defaultInitImpTestState ∷ ∀ era s m. (EraGov era, EraTxOut era, DSIGN (EraCrypto era) ~ Ed25519DSIGN, ADDRHASH (EraCrypto era) ~ Blake2b_224, HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m, HasSubState s, SubState s ~ StateGen QCGen) ⇒ NewEpochState era → m (ImpTestState era)
impEraStartEpochNo ∷ ∀ era. Era era ⇒ EpochNo
impSetSeed ∷ Int → ImpTestM era ()
data Doc ann
data AnsiStyle
logDoc ∷ HasCallStack ⇒ Doc AnsiStyle → ImpTestM era ()
logString ∷ HasCallStack ⇒ String → ImpTestM era ()
logToExpr ∷ (HasCallStack, ToExpr a) ⇒ a → ImpTestM era ()
logStakeDistr ∷ HasCallStack ⇒ ImpTestM era ()
logFeeMismatch ∷ (EraGov era, EraUTxO era, HasCallStack) ⇒ Tx era → ImpTestM era ()
withCustomFixup ∷ ((Tx era → ImpTestM era (Tx era)) → Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a
withFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a
withNoFixup ∷ ImpTestM era a → ImpTestM era a
withPostFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a
withPreFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a
withCborRoundTripFailures ∷ ImpTestM era a → ImpTestM era a
impNESL ∷ Lens' (ImpTestState era) (NewEpochState era)
impGlobalsL ∷ Lens' (ImpTestState era) Globals
impLastTickG ∷ SimpleGetter (ImpTestState era) SlotNo
impKeyPairsG ∷ SimpleGetter (ImpTestState era) (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era)))
impNativeScriptsG ∷ SimpleGetter (ImpTestState era) (Map (ScriptHash (EraCrypto era)) (NativeScript era))
produceScript ∷ ShelleyEraImp era ⇒ ScriptHash (EraCrypto era) → ImpTestM era (TxIn (EraCrypto era))
advanceToPointOfNoReturn ∷ ImpTestM era ()

Documentation

data ImpTestM era a Source #

Instances

Instances details

MonadFail (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods fail ∷ String → ImpTestM era a Source #
MonadIO (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods liftIO ∷ IO a → ImpTestM era a Source #
Applicative (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods pure ∷ a → ImpTestM era a Source # (<>) ∷ ImpTestM era (a → b) → ImpTestM era a → ImpTestM era b Source # liftA2 ∷ (a → b → c) → ImpTestM era a → ImpTestM era b → ImpTestM era c Source # (>) ∷ ImpTestM era a → ImpTestM era b → ImpTestM era b Source # (<*) ∷ ImpTestM era a → ImpTestM era b → ImpTestM era a Source #
Functor (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods fmap ∷ (a → b) → ImpTestM era a → ImpTestM era b Source # (<$) ∷ a → ImpTestM era b → ImpTestM era a Source #
Monad (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods (>>=) ∷ ImpTestM era a → (a → ImpTestM era b) → ImpTestM era b Source # (>>) ∷ ImpTestM era a → ImpTestM era b → ImpTestM era b Source # return ∷ a → ImpTestM era a Source #
MonadGen (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods liftGen ∷ Gen a → ImpTestM era a Source # variant ∷ Integral n ⇒ n → ImpTestM era a → ImpTestM era a Source # sized ∷ (Int → ImpTestM era a) → ImpTestM era a Source # resize ∷ Int → ImpTestM era a → ImpTestM era a Source # choose ∷ Random a ⇒ (a, a) → ImpTestM era a Source #
MonadUnliftIO (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods withRunInIO ∷ ((∀ a. ImpTestM era a → IO a) → IO b) → ImpTestM era b Source #
HasStatefulGen (StateGenM (ImpTestState era)) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods askStatefulGen ∷ ImpTestM era (StateGenM (ImpTestState era)) Source #
MonadReader (ImpTestEnv era) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods ask ∷ ImpTestM era (ImpTestEnv era) Source # local ∷ (ImpTestEnv era → ImpTestEnv era) → ImpTestM era a → ImpTestM era a Source # reader ∷ (ImpTestEnv era → a) → ImpTestM era a Source #
MonadState (ImpTestState era) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods get ∷ ImpTestM era (ImpTestState era) Source # put ∷ ImpTestState era → ImpTestM era () Source # state ∷ (ImpTestState era → (a, ImpTestState era)) → ImpTestM era a Source #
MonadWriter [SomeSTSEvent era] (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods writer ∷ (a, [SomeSTSEvent era]) → ImpTestM era a Source # tell ∷ [SomeSTSEvent era] → ImpTestM era () Source # listen ∷ ImpTestM era a → ImpTestM era (a, [SomeSTSEvent era]) Source # pass ∷ ImpTestM era (a, [SomeSTSEvent era] → [SomeSTSEvent era]) → ImpTestM era a Source #
(Testable a, ShelleyEraImp era) ⇒ Testable (ImpTestM era a) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods property ∷ ImpTestM era a → Property Source # propertyForAllShrinkShow ∷ Gen a0 → (a0 → [a0]) → (a0 → [String]) → (a0 → ImpTestM era a) → Property Source #
(ShelleyEraImp era, Testable prop) ⇒ Example (ImpTestM era prop) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Associated Types type Arg (ImpTestM era prop) Source # Methods evaluateExample ∷ ImpTestM era prop → Params → (ActionWith (Arg (ImpTestM era prop)) → IO ()) → ProgressCallback → IO Result Source #
(ShelleyEraImp era, Arbitrary a, Show a, Testable prop) ⇒ Example (a → ImpTestM era prop) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Associated Types type Arg (a → ImpTestM era prop) Source # Methods evaluateExample ∷ (a → ImpTestM era prop) → Params → (ActionWith (Arg (a → ImpTestM era prop)) → IO ()) → ProgressCallback → IO Result Source #
type Arg (ImpTestM era prop) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest type Arg (ImpTestM era prop) = ImpTestState era
type Arg (a → ImpTestM era prop) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest type Arg (a → ImpTestM era prop) = ImpTestState era

data SomeSTSEvent era Source #

Constructors

∀ (rule ∷ Symbol).(Typeable (Event (EraRule rule era)), Eq (Event (EraRule rule era)), ToExpr (Event (EraRule rule era))) ⇒ SomeSTSEvent (Event (EraRule rule era))

Instances

Instances details

Eq (SomeSTSEvent era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods (==) ∷ SomeSTSEvent era → SomeSTSEvent era → Bool Source # (/=) ∷ SomeSTSEvent era → SomeSTSEvent era → Bool Source #
ToExpr (SomeSTSEvent era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods toExpr ∷ SomeSTSEvent era → Expr Source # listToExpr ∷ [SomeSTSEvent era] → Expr Source #
MonadWriter [SomeSTSEvent era] (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods writer ∷ (a, [SomeSTSEvent era]) → ImpTestM era a Source # tell ∷ [SomeSTSEvent era] → ImpTestM era () Source # listen ∷ ImpTestM era a → ImpTestM era (a, [SomeSTSEvent era]) Source # pass ∷ ImpTestM era (a, [SomeSTSEvent era] → [SomeSTSEvent era]) → ImpTestM era a Source #

runImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO (b, ImpTestState era) Source #

runImpTestM_ ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO () Source #

evalImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO b Source #

execImpTestM ∷ ShelleyEraImp era ⇒ Maybe Int → ImpTestState era → ImpTestM era b → IO (ImpTestState era) Source #

runImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO (b, ImpTestState era)) Source #

runImpTestGenM_ ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO ()) Source #

evalImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO b) Source #

execImpTestGenM ∷ ShelleyEraImp era ⇒ ImpTestState era → ImpTestM era b → Gen (IO (ImpTestState era)) Source #

data ImpTestState era Source #

Instances

Instances details

HasSubState (ImpTestState era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Associated Types type SubState (ImpTestState era) Source # Methods getSubState ∷ ImpTestState era → SubState (ImpTestState era) Source # setSubState ∷ ImpTestState era → SubState (ImpTestState era) → ImpTestState era Source # subStateL ∷ Functor f ⇒ (SubState (ImpTestState era) → f (SubState (ImpTestState era))) → ImpTestState era → f (ImpTestState era) Source #
HasStatefulGen (StateGenM (ImpTestState era)) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods askStatefulGen ∷ ImpTestM era (StateGenM (ImpTestState era)) Source #
MonadState (ImpTestState era) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods get ∷ ImpTestM era (ImpTestState era) Source # put ∷ ImpTestState era → ImpTestM era () Source # state ∷ (ImpTestState era → (a, ImpTestState era)) → ImpTestM era a Source #
type SubState (ImpTestState era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest type SubState (ImpTestState era) = StateGen QCGen

data ImpTestEnv era Source #

Constructors

ImpTestEnv
Fields iteState ∷ !(IORef (ImpTestState era)) iteFixup ∷ Tx era → ImpTestM era (Tx era) iteQuickCheckSize ∷ !Int iteCborRoundTripFailures ∷ !Bool Expect failures in CBOR round trip serialization tests for predicate failures

Instances

Instances details

MonadReader (ImpTestEnv era) (ImpTestM era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods ask ∷ ImpTestM era (ImpTestEnv era) Source # local ∷ (ImpTestEnv era → ImpTestEnv era) → ImpTestM era a → ImpTestM era a Source # reader ∷ (ImpTestEnv era → a) → ImpTestM era a Source #

data ImpException Source #

Stores extra information about the failure of the unit test

Constructors

ImpException
Fields ieAnnotation ∷ [Doc AnsiStyle] Description of the IO action that caused the failure ieThrownException ∷ SomeException Exception that caused the test to fail

Instances

Instances details

Exception ImpException Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods toException ∷ ImpException → SomeException Source # fromException ∷ SomeException → Maybe ImpException Source # displayException ∷ ImpException → String Source #
Show ImpException Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods showsPrec ∷ Int → ImpException → ShowS Source # show ∷ ImpException → String Source # showList ∷ [ImpException] → ShowS Source #

Minimal complete definition

impSatisfyNativeScript, fixupTx

Methods

initGenesis ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Genesis era) Source #

default initGenesis ∷ (Monad m, Genesis era ~ NoGenesis era) ⇒ m (Genesis era) Source #

initNewEpochState ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (NewEpochState era) Source #

default initNewEpochState ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m, ShelleyEraImp (PreviousEra era), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, TranslationContext era ~ Genesis era, EraCrypto era ~ EraCrypto (PreviousEra era)) ⇒ m (NewEpochState era) Source #

initImpTestState ∷ (HasKeyPairs s (EraCrypto era), MonadState s m, HasSubState s, SubState s ~ StateGen QCGen, HasStatefulGen (StateGenM s) m) ⇒ m (ImpTestState era) Source #

impSatisfyNativeScript Source #

Arguments

∷ Set (KeyHash 'Witness (EraCrypto era))	Set of Witnesses that have already been satisfied
→ NativeScript era
→ ImpTestM era (Maybe (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era))))

Try to find a sufficient number of KeyPairs that would satisfy a native script. Whenever script can't be satisfied, Nothing is returned

modifyPParams ∷ (PParams era → PParams era) → ImpTestM era () Source #

This modifer should change not only the current PParams, but also the future PParams. If the future PParams are not updated, then they will overwrite the mofication of the current PParams at the next epoch.

fixupTx ∷ HasCallStack ⇒ Tx era → ImpTestM era (Tx era) Source #

Instances

Instances details

(Crypto c, NFData (SigDSIGN (DSIGN c)), NFData (VerKeyDSIGN (DSIGN c)), ADDRHASH c ~ Blake2b_224, DSIGN c ~ Ed25519DSIGN, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody), ShelleyEraScript (ShelleyEra c)) ⇒ ShelleyEraImp (ShelleyEra c) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.ImpTest

Methods

initGenesis ∷ (HasKeyPairs s (EraCrypto (ShelleyEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Genesis (ShelleyEra c)) Source #

initNewEpochState ∷ (HasKeyPairs s (EraCrypto (ShelleyEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (NewEpochState (ShelleyEra c)) Source #

initImpTestState ∷ (HasKeyPairs s (EraCrypto (ShelleyEra c)), MonadState s m, HasSubState s, SubState s ~ StateGen QCGen, HasStatefulGen (StateGenM s) m) ⇒ m (ImpTestState (ShelleyEra c)) Source #

impSatisfyNativeScript ∷ Set (KeyHash 'Witness (EraCrypto (ShelleyEra c))) → NativeScript (ShelleyEra c) → ImpTestM (ShelleyEra c) (Maybe (Map (KeyHash 'Witness (EraCrypto (ShelleyEra c))) (KeyPair 'Witness (EraCrypto (ShelleyEra c))))) Source #

modifyPParams ∷ (PParams (ShelleyEra c) → PParams (ShelleyEra c)) → ImpTestM (ShelleyEra c) () Source #

fixupTx ∷ Tx (ShelleyEra c) → ImpTestM (ShelleyEra c) (Tx (ShelleyEra c)) Source #

data PlutusArgs Source #

Instances

Instances details

Generic PlutusArgs
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext Associated Types type Rep PlutusArgs ∷ Type → Type Source # Methods from ∷ PlutusArgs → Rep PlutusArgs x Source # to ∷ Rep PlutusArgs x → PlutusArgs Source #
Show PlutusArgs
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext Methods showsPrec ∷ Int → PlutusArgs → ShowS Source # show ∷ PlutusArgs → String Source # showList ∷ [PlutusArgs] → ShowS Source #
NFData PlutusArgs
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext Methods rnf ∷ PlutusArgs → () Source #
type Rep PlutusArgs
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext type Rep PlutusArgs = D1 ('MetaData "PlutusArgs" "Test.Cardano.Ledger.Plutus.ScriptTestContext" "cardano-ledger-core-1.15.0.0-inplace-testlib" 'False) (C1 ('MetaCons "PlutusArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "paData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Data) :*: S1 ('MetaSel ('Just "paSpendDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Data))))

data ScriptTestContext Source #

Instances

Instances details

Show ScriptTestContext
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext Methods showsPrec ∷ Int → ScriptTestContext → ShowS Source # show ∷ ScriptTestContext → String Source # showList ∷ [ScriptTestContext] → ShowS Source #
NFData ScriptTestContext
Instance details Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext Methods rnf ∷ ScriptTestContext → () Source #

impWitsVKeyNeeded ∷ EraUTxO era ⇒ TxBody era → ImpTestM era (Set (BootstrapAddress (EraCrypto era)), Set (KeyHash 'Witness (EraCrypto era))) Source #

Figure out all the Byron Addresses that need witnesses as well as all of the KeyHashes for Shelley Key witnesses that are required.

modifyPrevPParams ∷ EraGov era ⇒ (PParams era → PParams era) → ImpTestM era () Source #

Modify the previous PParams in the current state with the given function. For current and future PParams, use modifyPParams

passEpoch ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ ImpTestM era () Source #

Runs the TICK rule until the next epoch is reached

passNEpochs ∷ ∀ era. ShelleyEraImp era ⇒ Natural → ImpTestM era () Source #

Runs the TICK rule until the n epochs are passed

passNEpochsChecking ∷ ∀ era. ShelleyEraImp era ⇒ Natural → ImpTestM era () → ImpTestM era () Source #

Runs the TICK rule until the n epochs are passed, running the checks each time.

passTick ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ ImpTestM era () Source #

Runs the TICK rule once

freshKeyAddr ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c, Addr c) Source #

Generate a random Addr that uses a KeyHash, add the corresponding KeyPair to the known keys in the Imp state, and return the KeyHash as well as the Addr.

freshKeyAddr_ ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Addr c) Source #

Generate a random Addr that uses a KeyHash, and add the corresponding KeyPair to the known keys in the Imp state.

freshKeyHash ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c) Source #

Generates a fresh KeyHash and stores the corresponding KeyPair in the ImpTestState. If you also need the KeyPair consider using freshKeyPair for generation or lookupKeyPair to look up the KeyPair corresponding to the KeyHash

freshKeyPair ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c, KeyPair r c) Source #

Generate a random KeyPair and add it to the known keys in the Imp state

lookupKeyPair ∷ (HasCallStack, HasKeyPairs s c, MonadState s m) ⇒ KeyHash r c → m (KeyPair r c) Source #

Looks up the KeyPair corresponding to the KeyHash. The KeyHash must be created with freshKeyHash for this to work.

freshByronKeyHash ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (KeyHash r c) Source #

Generates a fresh KeyHash and stores the corresponding ByronKeyPair in the ImpTestState. If you also need the ByronKeyPair consider using freshByronKeyPair for generation or lookupByronKeyPair to look up the ByronKeyPair corresponding to the KeyHash

freshBootstapAddress ∷ (HasKeyPairs s c, MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (BootstrapAddress c) Source #

lookupByronKeyPair ∷ (HasCallStack, HasKeyPairs s c, MonadState s m) ⇒ BootstrapAddress c → m ByronKeyPair Source #

Looks up the keypair corresponding to the BootstrapAddress. The BootstrapAddress must be created with freshBootstrapAddess for this to work.

freshSafeHash ∷ Era era ⇒ ImpTestM era (SafeHash (EraCrypto era) a) Source #

Creates a fresh SafeHash

freshKeyHashVRF ∷ Era era ⇒ ImpTestM era (Hash (HASH (EraCrypto era)) (VerKeyVRF (EraCrypto era))) Source #

submitTx ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era (Tx era) Source #

submitTx_ ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era () Source #

submitTxAnn ∷ (HasCallStack, ShelleyEraImp era) ⇒ String → Tx era → ImpTestM era (Tx era) Source #

submitTxAnn_ ∷ (HasCallStack, ShelleyEraImp era) ⇒ String → Tx era → ImpTestM era () Source #

submitFailingTx ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → NonEmpty (PredicateFailure (EraRule "LEDGER" era)) → ImpTestM era () Source #

Submit a transaction that is expected to be rejected with the given predicate failures. The inputs and outputs are automatically balanced.

submitFailingTxM ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → (Tx era → ImpTestM era (NonEmpty (PredicateFailure (EraRule "LEDGER" era)))) → ImpTestM era () Source #

Submit a transaction that is expected to be rejected, and compute the expected predicate failures from the fixed-up tx using the supplied action. The inputs and outputs are automatically balanced.

trySubmitTx ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era)), Tx era) (Tx era)) Source #

modifyNES ∷ (NewEpochState era → NewEpochState era) → ImpTestM era () Source #

Modify the current new epoch state with a function

getProtVer ∷ EraGov era ⇒ ImpTestM era ProtVer Source #

getsNES ∷ SimpleGetter (NewEpochState era) a → ImpTestM era a Source #

Get a value from the current new epoch state using the lens

getUTxO ∷ ImpTestM era (UTxO era) Source #

impAddNativeScript ∷ ∀ era. EraScript era ⇒ NativeScript era → ImpTestM era (ScriptHash (EraCrypto era)) Source #

impAnn ∷ NFData a ⇒ String → ImpTestM era a → ImpTestM era a Source #

Annotation for when failure happens. All the logging done within annotation will be discarded if there no failures within the annotation.

impAnnDoc ∷ NFData a ⇒ Doc AnsiStyle → ImpTestM era a → ImpTestM era a Source #

impLogToExpr ∷ (HasCallStack, ToExpr a) ⇒ ImpTestM era a → ImpTestM era a Source #

Adds the result of an action to the log, which is only shown if the test fails

runImpRule ∷ ∀ rule era. (HasCallStack, KnownSymbol rule, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, NFData (State (EraRule rule era)), NFData (Event (EraRule rule era)), ToExpr (Event (EraRule rule era)), Eq (Event (EraRule rule era)), Typeable (Event (EraRule rule era))) ⇒ Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → ImpTestM era (State (EraRule rule era)) Source #

tryRunImpRule ∷ ∀ rule era. (STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase) ⇒ Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → ImpTestM era (Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)])) Source #

delegateStake ∷ ShelleyEraImp era ⇒ Credential 'Staking (EraCrypto era) → KeyHash 'StakePool (EraCrypto era) → ImpTestM era () Source #

registerRewardAccount ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ ImpTestM era (RewardAccount (EraCrypto era)) Source #

registerStakeCredential ∷ ∀ era. (HasCallStack, ShelleyEraImp era) ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era (RewardAccount (EraCrypto era)) Source #

getRewardAccountFor ∷ Credential 'Staking (EraCrypto era) → ImpTestM era (RewardAccount (EraCrypto era)) Source #

lookupReward ∷ HasCallStack ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era Coin Source #

poolParams ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → RewardAccount (EraCrypto era) → ImpTestM era (PoolParams (EraCrypto era)) Source #

registerPool ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → ImpTestM era () Source #

registerPoolWithRewardAccount ∷ ShelleyEraImp era ⇒ KeyHash 'StakePool (EraCrypto era) → RewardAccount (EraCrypto era) → ImpTestM era () Source #

registerAndRetirePoolToMakeReward ∷ ShelleyEraImp era ⇒ Credential 'Staking (EraCrypto era) → ImpTestM era () Source #

getRewardAccountAmount ∷ RewardAccount (EraCrypto era) → ImpTestM era Coin Source #

withImpState ∷ ShelleyEraImp era ⇒ SpecWith (ImpTestState era) → Spec Source #

withImpStateModified ∷ ∀ era. ShelleyEraImp era ⇒ (ImpTestState era → ImpTestState era) → SpecWith (ImpTestState era) → Spec Source #

shelleyFixupTx ∷ ∀ era. (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Tx era) Source #

lookupImpRootTxOut ∷ ImpTestM era (TxIn (EraCrypto era), TxOut era) Source #

sendValueTo ∷ (ShelleyEraImp era, HasCallStack) ⇒ Addr (EraCrypto era) → Value era → ImpTestM era (TxIn (EraCrypto era)) Source #

sendCoinTo ∷ (ShelleyEraImp era, HasCallStack) ⇒ Addr (EraCrypto era) → Coin → ImpTestM era (TxIn (EraCrypto era)) Source #

expectRegisteredRewardAddress ∷ RewardAccount (EraCrypto era) → ImpTestM era () Source #

expectNotRegisteredRewardAddress ∷ RewardAccount (EraCrypto era) → ImpTestM era () Source #

expectTreasury ∷ HasCallStack ⇒ Coin → ImpTestM era () Source #

updateAddrTxWits ∷ (HasCallStack, ShelleyEraImp era) ⇒ Tx era → ImpTestM era (Tx era) Source #

Adds TxWits that will satisfy all of the required key witnesses

addNativeScriptTxWits ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

Modifies transaction by adding necessary scripts

addRootTxIn ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

This fixup step ensures that there are enough funds in the transaction.

fixupTxOuts ∷ ShelleyEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupFees ∷ (ShelleyEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupAuxDataHash ∷ (EraTx era, Applicative m) ⇒ Tx era → m (Tx era) Source #

Adds an auxiliary data hash if auxiliary data present, while the hash of it is not.

impGetNativeScript ∷ ScriptHash (EraCrypto era) → ImpTestM era (Maybe (NativeScript era)) Source #

impLookupUTxO ∷ ShelleyEraImp era ⇒ TxIn (EraCrypto era) → ImpTestM era (TxOut era) Source #

defaultInitNewEpochState ∷ ∀ era s m. (MonadState s m, HasKeyPairs s (EraCrypto era), HasStatefulGen (StateGenM s) m, ShelleyEraImp era, ShelleyEraImp (PreviousEra era), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, TranslationContext era ~ Genesis era, EraCrypto era ~ EraCrypto (PreviousEra era)) ⇒ (NewEpochState (PreviousEra era) → NewEpochState (PreviousEra era)) → m (NewEpochState era) Source #

defaultInitImpTestState ∷ ∀ era s m. (EraGov era, EraTxOut era, DSIGN (EraCrypto era) ~ Ed25519DSIGN, ADDRHASH (EraCrypto era) ~ Blake2b_224, HasKeyPairs s (EraCrypto era), MonadState s m, HasStatefulGen (StateGenM s) m, HasSubState s, SubState s ~ StateGen QCGen) ⇒ NewEpochState era → m (ImpTestState era) Source #

impEraStartEpochNo ∷ ∀ era. Era era ⇒ EpochNo Source #

For debugging purposes we start the era at the epoch number that matches the starting protocol version for the era times a 100

impSetSeed ∷ Int → ImpTestM era () Source #

Override the QuickCheck generator using a fixed seed.

Logging

data Doc ann Source #

The abstract data type Doc ann represents pretty documents that have been annotated with data of type ann.

More specifically, a value of type Doc represents a non-empty set of possible layouts of a document. The layout functions select one of these possibilities, taking into account things like the width of the output document.

The annotation is an arbitrary piece of data associated with (part of) a document. Annotations may be used by the rendering backends in order to display output differently, such as

color information (e.g. when rendering to the terminal)
mouseover text (e.g. when rendering to rich HTML)
whether to show something or not (to allow simple or detailed versions)

The simplest way to display a Doc is via the Show class.

>>> putStrLn (show (vsep ["hello", "world"]))
hello
world

Instances

Instances details

Functor Doc	Alter the document’s annotations. This instance makes `Doc` more flexible (because it can be used in `Functor`-polymorphic values), but `fmap` is much less readable compared to using `reAnnotate` in code that only works for `Doc` anyway. Consider using the latter when the type does not matter.
Instance details Defined in Prettyprinter.Internal Methods fmap ∷ (a → b) → Doc a → Doc b Source # (<$) ∷ a → Doc b → Doc a Source #
IsString (Doc ann)	`>>>` `pretty ("hello\nworld")`hello world This instance uses the `Pretty` `Doc` instance, and uses the same newline to `line` conversion.
Instance details Defined in Prettyprinter.Internal Methods fromString ∷ String → Doc ann Source #
Monoid (Doc ann)	`mempty` = `emptyDoc` `mconcat` = `hcat` `>>>` `mappend "hello" "world" :: Doc ann`helloworld
Instance details Defined in Prettyprinter.Internal Methods mempty ∷ Doc ann Source # mappend ∷ Doc ann → Doc ann → Doc ann Source # mconcat ∷ [Doc ann] → Doc ann Source #
Semigroup (Doc ann)	x `<>` y = `hcat` [x, y] `>>>` `"hello" <> "world" :: Doc ann`helloworld
Instance details Defined in Prettyprinter.Internal Methods (<>) ∷ Doc ann → Doc ann → Doc ann Source # sconcat ∷ NonEmpty (Doc ann) → Doc ann Source # stimes ∷ Integral b ⇒ b → Doc ann → Doc ann Source #
Generic (Doc ann)
Instance details Defined in Prettyprinter.Internal Associated Types type Rep (Doc ann) ∷ Type → Type Source # Methods from ∷ Doc ann → Rep (Doc ann) x Source # to ∷ Rep (Doc ann) x → Doc ann Source #
Show (Doc ann)	`(show doc)` prettyprints document `doc` with `defaultLayoutOptions`, ignoring all annotations.
Instance details Defined in Prettyprinter.Internal Methods showsPrec ∷ Int → Doc ann → ShowS Source # show ∷ Doc ann → String Source # showList ∷ [Doc ann] → ShowS Source #
type Rep (Doc ann)
Instance details Defined in Prettyprinter.Internal type Rep (Doc ann) = D1 ('MetaData "Doc" "Prettyprinter.Internal" "prettyprinter-1.7.1-60fc2444dcacdd48cc73f93e5ef87c40fa69faa308b0e641b05323137692b85e" 'False) (((C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char)))) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))) :+: ((C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: (C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int → Doc ann))) :+: C1 ('MetaCons "WithPageWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageWidth → Doc ann)))) :+: (C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int → Doc ann))) :+: C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))))

data AnsiStyle Source #

Render the annotated document in a certain style. Styles not set in the annotation will use the style of the surrounding document, or the terminal’s default if none has been set yet.

style = color Green <> bold
styledDoc = annotate style "hello world"

Instances

Instances details

Monoid AnsiStyle	`mempty` does nothing, which is equivalent to inheriting the style of the surrounding doc, or the terminal’s default if no style has been set yet.
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods mempty ∷ AnsiStyle Source # mappend ∷ AnsiStyle → AnsiStyle → AnsiStyle Source # mconcat ∷ [AnsiStyle] → AnsiStyle Source #
Semigroup AnsiStyle	Keep the first decision for each of foreground color, background color, boldness, italication, and underlining. If a certain style is not set, the terminal’s default will be used. Example: `color` `Red` `<>` `color` `Green` is red because the first color wins, and not bold because (or if) that’s the terminal’s default.
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods (<>) ∷ AnsiStyle → AnsiStyle → AnsiStyle Source # sconcat ∷ NonEmpty AnsiStyle → AnsiStyle Source # stimes ∷ Integral b ⇒ b → AnsiStyle → AnsiStyle Source #
Show AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods showsPrec ∷ Int → AnsiStyle → ShowS Source # show ∷ AnsiStyle → String Source # showList ∷ [AnsiStyle] → ShowS Source #
Eq AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods (==) ∷ AnsiStyle → AnsiStyle → Bool Source # (/=) ∷ AnsiStyle → AnsiStyle → Bool Source #
Ord AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods compare ∷ AnsiStyle → AnsiStyle → Ordering Source # (<) ∷ AnsiStyle → AnsiStyle → Bool Source # (<=) ∷ AnsiStyle → AnsiStyle → Bool Source # (>) ∷ AnsiStyle → AnsiStyle → Bool Source # (>=) ∷ AnsiStyle → AnsiStyle → Bool Source # max ∷ AnsiStyle → AnsiStyle → AnsiStyle Source # min ∷ AnsiStyle → AnsiStyle → AnsiStyle Source #

logDoc ∷ HasCallStack ⇒ Doc AnsiStyle → ImpTestM era () Source #

Adds a Doc to the log, which is only shown if the test fails

logString ∷ HasCallStack ⇒ String → ImpTestM era () Source #

Adds a String to the log, which is only shown if the test fails

logToExpr ∷ (HasCallStack, ToExpr a) ⇒ a → ImpTestM era () Source #

Adds a ToExpr to the log, which is only shown if the test fails

logStakeDistr ∷ HasCallStack ⇒ ImpTestM era () Source #

Logs the current stake distribution

logFeeMismatch ∷ (EraGov era, EraUTxO era, HasCallStack) ⇒ Tx era → ImpTestM era () Source #

Combinators

withCustomFixup ∷ ((Tx era → ImpTestM era (Tx era)) → Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a Source #

Compose given function with the configured fixup

withFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a Source #

Replace all fixup with the given function

withNoFixup ∷ ImpTestM era a → ImpTestM era a Source #

Performs the action without running the fix-up function on any transactions

withPostFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a Source #

Apply given fixup function after the configured fixup

withPreFixup ∷ (Tx era → ImpTestM era (Tx era)) → ImpTestM era a → ImpTestM era a Source #

Apply given fixup function before the configured fixup

withCborRoundTripFailures ∷ ImpTestM era a → ImpTestM era a Source #

impNESL ∷ Lens' (ImpTestState era) (NewEpochState era) Source #

impGlobalsL ∷ Lens' (ImpTestState era) Globals Source #

impLastTickG ∷ SimpleGetter (ImpTestState era) SlotNo Source #

impKeyPairsG ∷ SimpleGetter (ImpTestState era) (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era))) Source #

impNativeScriptsG ∷ SimpleGetter (ImpTestState era) (Map (ScriptHash (EraCrypto era)) (NativeScript era)) Source #

produceScript ∷ ShelleyEraImp era ⇒ ScriptHash (EraCrypto era) → ImpTestM era (TxIn (EraCrypto era)) Source #

advanceToPointOfNoReturn ∷ ImpTestM era () Source #