Safe Haskell	None
Language	Haskell2010

Test.Util.WithEq

Synopsis

newtype Id = Id Word
data WithEq a = WithEq {
- getId ∷ Id
- unWithEq ∷ a
}

Documentation

newtype Id Source #

Constructors

Id Word

Instances

Instances details

Bounded Id Source #
Instance details Defined in Test.Util.WithEq Methods minBound ∷ Id Source # maxBound ∷ Id Source #
Enum Id Source #
Instance details Defined in Test.Util.WithEq Methods succ ∷ Id → Id Source # pred ∷ Id → Id Source # toEnum ∷ Int → Id Source # fromEnum ∷ Id → Int Source # enumFrom ∷ Id → [Id] Source # enumFromThen ∷ Id → Id → [Id] Source # enumFromTo ∷ Id → Id → [Id] Source # enumFromThenTo ∷ Id → Id → Id → [Id] Source #
Eq Id Source #
Instance details Defined in Test.Util.WithEq Methods (==) ∷ Id → Id → Bool Source # (/=) ∷ Id → Id → Bool Source #
Num Id Source #
Instance details Defined in Test.Util.WithEq Methods (+) ∷ Id → Id → Id Source # (-) ∷ Id → Id → Id Source # (*) ∷ Id → Id → Id Source # negate ∷ Id → Id Source # abs ∷ Id → Id Source # signum ∷ Id → Id Source # fromInteger ∷ Integer → Id Source #
Ord Id Source #
Instance details Defined in Test.Util.WithEq Methods compare ∷ Id → Id → Ordering Source # (<) ∷ Id → Id → Bool Source # (<=) ∷ Id → Id → Bool Source # (>) ∷ Id → Id → Bool Source # (>=) ∷ Id → Id → Bool Source # max ∷ Id → Id → Id Source # min ∷ Id → Id → Id Source #
Show Id Source #
Instance details Defined in Test.Util.WithEq Methods showsPrec ∷ Int → Id → ShowS Source # show ∷ Id → String Source # showList ∷ [Id] → ShowS Source #
Generic Id Source #
Instance details Defined in Test.Util.WithEq Associated Types type Rep Id ∷ Type → Type Source # Methods from ∷ Id → Rep Id x Source # to ∷ Rep 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.3.1.0-inplace" 'True) (C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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 getId ∷ Id unWithEq ∷ a

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 showsPrec ∷ Int → WithEq a → ShowS Source # show ∷ WithEq 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) ∷ Type → Type Source # Methods from ∷ WithEq a → Rep (WithEq a) x Source # to ∷ Rep (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.3.1.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)))