| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.CanonicalState.Import
Documentation
class KnownNamespace ns ⇒ ImportCanonicalNamespace era (ns ∷ Symbol) where Source #
Methods
importNamespaceEntries ∷ Monad m ⇒ State era → Stream (Of (ChunkEntry (NamespaceKey ns) (NamespaceEntry ns))) m () → m (State era) Source #
class ImportCanonicalState era where Source #
importNamespaceFromHandle ∷ ∀ era (v ∷ Symbol) m. (KnownSymbol v, ImportCanonicalNamespace era v, MonadIO m, MonadFail m) ⇒ Handle → Proxy v → State era → m (State era) Source #