ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.ChainSync.Test

Documentation

Orphan instances

(Arbitrary header, Arbitrary point, Arbitrary tip) => Arbitrary (AnyMessageAndAgency (ChainSync header point tip)) Source # 
Instance details

Methods

arbitrary :: Gen (AnyMessageAndAgency (ChainSync header point tip)) #

shrink :: AnyMessageAndAgency (ChainSync header point tip) -> [AnyMessageAndAgency (ChainSync header point tip)] #

(StandardHash header, Eq header, Eq point, Eq tip) => Eq (AnyMessage (ChainSync header point tip)) Source # 
Instance details

Methods

(==) :: AnyMessage (ChainSync header point tip) -> AnyMessage (ChainSync header point tip) -> Bool #

(/=) :: AnyMessage (ChainSync header point tip) -> AnyMessage (ChainSync header point tip) -> Bool #

Arbitrary (Serialised BlockHeader) Source # 
Instance details

Arbitrary (Tip BlockHeader) Source # 
Instance details