| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.CanonicalState.Export
Documentation
class ExportCanonicalState era where Source #
Methods
stateSerializationPlan ∷ ∀ (m ∷ Type → Type). Monad m ⇒ State era → SerializationPlan (SomeChunkEntry RawBytes) m Source #
getEpochNo ∷ State era → EpochNo Source #
class KnownNamespace ns ⇒ ExportCanonicalNamespace era (ns ∷ Symbol) where Source #
Methods
canonicalNamespaceEntries ∷ ∀ (m ∷ Type → Type). Monad m ⇒ State era → Stream (Of (ChunkEntry (NamespaceKey ns) (NamespaceEntry ns))) m () Source #
addNamespaceToPlan ∷ ∀ era (ns ∷ Symbol) (m ∷ Type → Type). (Monad m, KnownSymbol ns, ExportCanonicalNamespace era ns) ⇒ State era → SerializationPlan (SomeChunkEntry RawBytes) m → SerializationPlan (SomeChunkEntry RawBytes) m Source #