Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

Documentation

data MockCrypto Source #

Instances

Instances details

Crypto MockCrypto Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes Associated Types type KES MockCrypto Source # type VRF MockCrypto Source #
PraosCrypto MockCrypto Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes
Era era ⇒ Embed (PRTCL MockCrypto) (CHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Rules.Chain Methods wrapFailed ∷ PredicateFailure (PRTCL MockCrypto) → PredicateFailure (CHAIN era) Source # wrapEvent ∷ Event (PRTCL MockCrypto) → Event (CHAIN era) Source #
(EraGen era, EraSegWits era, ApplyBlock era, GetLedgerView era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ Block BHeaderView era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv MockCrypto era)) ⇒ HasTrace (CHAIN era) (GenEnv MockCrypto era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Chain Associated Types type BaseEnv (CHAIN era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (CHAIN era) → BaseM (CHAIN era) a → a Source # envGen ∷ GenEnv MockCrypto era → Gen (Environment (CHAIN era)) Source # sigGen ∷ GenEnv MockCrypto era → Environment (CHAIN era) → State (CHAIN era) → Gen (Signal (CHAIN era)) Source # shrinkSignal ∷ Signal (CHAIN era) → [Signal (CHAIN era)] Source #
type KES MockCrypto Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes type KES MockCrypto = MockKES 10
type VRF MockCrypto Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes type VRF MockCrypto = FakeVRF

type C = ShelleyEra Source #