module Ledger.Conway.Foreign.HSLedger.Epoch where open import Ledger.Conway.Foreign.HSLedger.BaseTypes open import Ledger.Conway.Foreign.HSLedger.Enact open import Ledger.Conway.Foreign.HSLedger.Ledger open import Ledger.Conway.Foreign.HSLedger.PParams open import Ledger.Conway.Foreign.HSLedger.Ratify open import Ledger.Conway.Foreign.HSLedger.Rewards open import Ledger.Conway.Conformance.Epoch it it open import Ledger.Conway.Conformance.Epoch.Properties it it instance HsTy-EpochState = autoHsType EpochState ⊣ withConstructor "MkEpochState" • fieldPrefix "es" Conv-EpochState = autoConvert EpochState epoch-step : HsType (⊤ → EpochState → Epoch → ComputationResult ⊥ EpochState) epoch-step = to (compute Computational-EPOCH) {-# COMPILE GHC epoch-step as epochStep #-}