Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Ledger.Cardano.Configuration

Synopsis

data GlobalsTranslationException = GlobalsTranslationException
newLedgerEnv :: PParams LedgerEra -> LedgerEnv LedgerEra
readJsonFileThrow :: (Value -> Parser a) -> FilePath -> IO a
newGlobals :: MonadThrow m => GenesisParameters ShelleyEra -> m Globals
pparamsFromJson :: Value -> Parser (PParams LedgerEra)
data Globals
data LedgerEnv era

Documentation

data GlobalsTranslationException Source #

Constructors

GlobalsTranslationException

Instances

Instances details

Exception GlobalsTranslationException Source #
Instance details Defined in Hydra.Ledger.Cardano.Configuration Methods toException :: GlobalsTranslationException -> SomeException Source # fromException :: SomeException -> Maybe GlobalsTranslationException Source # displayException :: GlobalsTranslationException -> String Source #
Show GlobalsTranslationException Source #
Instance details Defined in Hydra.Ledger.Cardano.Configuration Methods showsPrec :: Int -> GlobalsTranslationException -> ShowS Source # show :: GlobalsTranslationException -> String Source # showList :: [GlobalsTranslationException] -> ShowS Source #
Eq GlobalsTranslationException Source #
Instance details Defined in Hydra.Ledger.Cardano.Configuration Methods (==) :: GlobalsTranslationException -> GlobalsTranslationException -> Bool Source # (/=) :: GlobalsTranslationException -> GlobalsTranslationException -> Bool Source #

newLedgerEnv :: PParams LedgerEra -> LedgerEnv LedgerEra Source #

Create a new ledger env from given protocol parameters.

readJsonFileThrow :: (Value -> Parser a) -> FilePath -> IO a Source #

newGlobals :: MonadThrow m => GenesisParameters ShelleyEra -> m Globals Source #

Create new L2 ledger Globals from GenesisParameters.

Throws at least GlobalsTranslationException

pparamsFromJson :: Value -> Parser (PParams LedgerEra) Source #

Decode protocol parameters using the ProtocolParameters instance as this is used by cardano-cli and matches the schema. TODO: define the schema

data Globals #

Instances

Instances details

Generic Globals
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Globals :: Type -> Type Source # Methods from :: Globals -> Rep Globals x Source # to :: Rep Globals x -> Globals Source #
Show Globals
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Globals -> ShowS Source # show :: Globals -> String Source # showList :: [Globals] -> ShowS Source #
NFData Globals
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Globals -> () Source #
NoThunks Globals
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> Globals -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Globals -> IO (Maybe ThunkInfo) showTypeOf :: Proxy Globals -> String
Crypto c => DecCBOR (Pulser c)
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR :: Decoder s (Pulser c) dropCBOR :: Proxy (Pulser c) -> Decoder s () label :: Proxy (Pulser c) -> Text
Crypto c => EncCBOR (Pulser c)
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR :: Pulser c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (Pulser c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Pulser c] -> Size
NFData (Pulser c)
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf :: Pulser c -> () Source #
Typeable c => NoThunks (Pulser c)
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks :: Context -> Pulser c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Pulser c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (Pulser c) -> String
type Rep Globals
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Globals = D1 ('MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.10.0.0-IIS5MSjTn5M2E69fpQvkaS" 'False) (C1 ('MetaCons "Globals" 'PrefixI 'True) (((S1 ('MetaSel ('Just "epochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Either Text))) :: (S1 ('MetaSel ('Just "slotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "stabilityWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :: (S1 ('MetaSel ('Just "randomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: (S1 ('MetaSel ('Just "securityParameter") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "maxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :: ((S1 ('MetaSel ('Just "quorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: (S1 ('MetaSel ('Just "maxMajorPV") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :: S1 ('MetaSel ('Just "maxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :: (S1 ('MetaSel ('Just "activeSlotCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :: (S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "systemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart))))))

data LedgerEnv era #

Instances

Instances details

Show (PParams era) => Show (LedgerEnv era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods showsPrec :: Int -> LedgerEnv era -> ShowS Source # show :: LedgerEnv era -> String Source # showList :: [LedgerEnv era] -> ShowS Source #
NFData (PParams era) => NFData (LedgerEnv era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods rnf :: LedgerEnv era -> () Source #