ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.Util.WithEq

Synopsis

Documentation

newtype Id Source #

Constructors

Id Word 

Instances

Instances details
Bounded Id Source # 
Instance details

Defined in Test.Util.WithEq

Enum Id Source # 
Instance details

Defined in Test.Util.WithEq

Methods

succIdId Source #

predIdId Source #

toEnumIntId Source #

fromEnumIdInt Source #

enumFromId → [Id] Source #

enumFromThenIdId → [Id] Source #

enumFromToIdId → [Id] Source #

enumFromThenToIdIdId → [Id] Source #

Eq Id Source # 
Instance details

Defined in Test.Util.WithEq

Methods

(==)IdIdBool Source #

(/=)IdIdBool Source #

Num Id Source # 
Instance details

Defined in Test.Util.WithEq

Methods

(+)IdIdId Source #

(-)IdIdId Source #

(*)IdIdId Source #

negateIdId Source #

absIdId Source #

signumIdId Source #

fromIntegerIntegerId Source #

Ord Id Source # 
Instance details

Defined in Test.Util.WithEq

Methods

compareIdIdOrdering Source #

(<)IdIdBool Source #

(<=)IdIdBool Source #

(>)IdIdBool Source #

(>=)IdIdBool Source #

maxIdIdId Source #

minIdIdId Source #

Show Id Source # 
Instance details

Defined in Test.Util.WithEq

Methods

showsPrecIntIdShowS Source #

showIdString Source #

showList ∷ [Id] → ShowS Source #

Generic Id Source # 
Instance details

Defined in Test.Util.WithEq

Associated Types

type Rep IdTypeType Source #

Methods

fromIdRep Id x Source #

toRep Id x → Id Source #

type Rep Id Source # 
Instance details

Defined in Test.Util.WithEq

type Rep Id = D1 ('MetaData "Id" "Test.Util.WithEq" "ouroboros-consensus-test-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data WithEq a Source #

Use this type to add an Eq instance for types that don't have one or for which one doesn't make sense, but an Eq instance is needed for testing purposes.

E.g., Iterator needs an Eq instance in the q-s-m tests

Constructors

WithEq 

Fields

Instances

Instances details
Eq (WithEq a) Source # 
Instance details

Defined in Test.Util.WithEq

Methods

(==)WithEq a → WithEq a → Bool Source #

(/=)WithEq a → WithEq a → Bool Source #

Show a ⇒ Show (WithEq a) Source # 
Instance details

Defined in Test.Util.WithEq

Methods

showsPrecIntWithEq a → ShowS Source #

showWithEq a → String Source #

showList ∷ [WithEq a] → ShowS Source #

Generic (WithEq a) Source # 
Instance details

Defined in Test.Util.WithEq

Associated Types

type Rep (WithEq a) ∷ TypeType Source #

Methods

fromWithEq a → Rep (WithEq a) x Source #

toRep (WithEq a) x → WithEq a Source #

type Rep (WithEq a) Source # 
Instance details

Defined in Test.Util.WithEq

type Rep (WithEq a) = D1 ('MetaData "WithEq" "Test.Util.WithEq" "ouroboros-consensus-test-0.1.0.0-inplace" 'False) (C1 ('MetaCons "WithEq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Just "unWithEq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))