cardano-ledger-byron-1.3.0.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Chain.Elaboration.Update

Documentation

elaboratePParams ∷ PParams → ProtocolParameters Source #

elaborateProtocolVersion ∷ ProtVer → ProtocolVersion Source #

elaborateSoftwareVersion ∷ SwVer → SoftwareVersion Source #

elaborateUpdateProposal ∷ ProtocolMagicId → UProp → AProposal () Source #

elaborateVote ∷ ProtocolMagicId → Map UpId UpId → Vote → AVote () Source #