{-# LANGUAGE DataKinds #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE RankNTypes #-} module Cardano.CLI.Compatible.Governance.Run ( runCompatibleGovernanceCmds ) where import Cardano.CLI.Compatible.Exception import Cardano.CLI.Compatible.Governance.Command import Cardano.CLI.EraBased.Governance.Run import Data.Typeable (Typeable) runCompatibleGovernanceCmds :: Typeable era => CompatibleGovernanceCmds era -> CIO e () runCompatibleGovernanceCmds :: forall era e. Typeable era => CompatibleGovernanceCmds era -> CIO e () runCompatibleGovernanceCmds = \case CreateCompatibleProtocolUpdateCmd GovernanceCmds era cmd -> GovernanceCmds era -> CIO e () forall era e. Typeable era => GovernanceCmds era -> CIO e () runGovernanceCmds GovernanceCmds era cmd