hydra-node
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Events.RotationSpec

Documentation

spec :: Spec Source #

newtype TrivialEvent Source #

Constructors

TrivialEvent Word64 

Instances

Instances details
Num TrivialEvent Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

(+) :: TrivialEvent -> TrivialEvent -> TrivialEvent Source #

(-) :: TrivialEvent -> TrivialEvent -> TrivialEvent Source #

(*) :: TrivialEvent -> TrivialEvent -> TrivialEvent Source #

negate :: TrivialEvent -> TrivialEvent Source #

abs :: TrivialEvent -> TrivialEvent Source #

signum :: TrivialEvent -> TrivialEvent Source #

fromInteger :: Integer -> TrivialEvent Source #

Show TrivialEvent Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

showsPrec :: Int -> TrivialEvent -> ShowS Source #

show :: TrivialEvent -> String Source #

showList :: [TrivialEvent] -> ShowS Source #

Eq TrivialEvent Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

(==) :: TrivialEvent -> TrivialEvent -> Bool Source #

(/=) :: TrivialEvent -> TrivialEvent -> Bool Source #

HasEventId TrivialEvent Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

getEventId :: TrivialEvent -> EventId

newtype ChunkedEvents Source #

Constructors

ChunkedEvents [[TrivialEvent]] 

Instances

Instances details
Arbitrary ChunkedEvents Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

arbitrary :: Gen ChunkedEvents

shrink :: ChunkedEvents -> [ChunkedEvents]

Show ChunkedEvents Source # 
Instance details

Defined in Hydra.Events.RotationSpec

Methods

showsPrec :: Int -> ChunkedEvents -> ShowS Source #

show :: ChunkedEvents -> String Source #

showList :: [ChunkedEvents] -> ShowS Source #

trivialCheckpoint :: [TrivialEvent] -> TrivialEvent Source #

mkAggregator :: IsChainState tx => NodeState tx -> StateEvent tx -> NodeState tx Source #