{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
module Ouroboros.Consensus.HardFork.Simple (TriggerHardFork (..)) where
import Cardano.Slotting.Slot (EpochNo)
import Data.Word
import GHC.Generics (Generic)
import NoThunks.Class (NoThunks)
data TriggerHardFork =
TriggerHardForkAtVersion !Word16
| TriggerHardForkAtEpoch !EpochNo
| TriggerHardForkNotDuringThisExecution
deriving (Int -> TriggerHardFork -> ShowS
[TriggerHardFork] -> ShowS
TriggerHardFork -> String
(Int -> TriggerHardFork -> ShowS)
-> (TriggerHardFork -> String)
-> ([TriggerHardFork] -> ShowS)
-> Show TriggerHardFork
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> TriggerHardFork -> ShowS
showsPrec :: Int -> TriggerHardFork -> ShowS
$cshow :: TriggerHardFork -> String
show :: TriggerHardFork -> String
$cshowList :: [TriggerHardFork] -> ShowS
showList :: [TriggerHardFork] -> ShowS
Show, (forall x. TriggerHardFork -> Rep TriggerHardFork x)
-> (forall x. Rep TriggerHardFork x -> TriggerHardFork)
-> Generic TriggerHardFork
forall x. Rep TriggerHardFork x -> TriggerHardFork
forall x. TriggerHardFork -> Rep TriggerHardFork x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. TriggerHardFork -> Rep TriggerHardFork x
from :: forall x. TriggerHardFork -> Rep TriggerHardFork x
$cto :: forall x. Rep TriggerHardFork x -> TriggerHardFork
to :: forall x. Rep TriggerHardFork x -> TriggerHardFork
Generic, Context -> TriggerHardFork -> IO (Maybe ThunkInfo)
Proxy TriggerHardFork -> String
(Context -> TriggerHardFork -> IO (Maybe ThunkInfo))
-> (Context -> TriggerHardFork -> IO (Maybe ThunkInfo))
-> (Proxy TriggerHardFork -> String)
-> NoThunks TriggerHardFork
forall a.
(Context -> a -> IO (Maybe ThunkInfo))
-> (Context -> a -> IO (Maybe ThunkInfo))
-> (Proxy a -> String)
-> NoThunks a
$cnoThunks :: Context -> TriggerHardFork -> IO (Maybe ThunkInfo)
noThunks :: Context -> TriggerHardFork -> IO (Maybe ThunkInfo)
$cwNoThunks :: Context -> TriggerHardFork -> IO (Maybe ThunkInfo)
wNoThunks :: Context -> TriggerHardFork -> IO (Maybe ThunkInfo)
$cshowTypeOf :: Proxy TriggerHardFork -> String
showTypeOf :: Proxy TriggerHardFork -> String
NoThunks)