| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Util.Serialisation.SomeResult
Synopsis
- data SomeResult blk where
- SomeResult ∷ (Eq result, Show result, Typeable result) ⇒ BlockQuery blk result → result → SomeResult blk
Documentation
data SomeResult blk where Source #
To easily generate all the possible results of the Query GADT, we
introduce an existential that also bundles the corresponding Query as
evidence. We also capture Eq, Show, and Typeable constraints, as we
need them in the tests.
Constructors
| SomeResult ∷ (Eq result, Show result, Typeable result) ⇒ BlockQuery blk result → result → SomeResult blk |
Instances
| Show (SomeResult blk) Source # | |
Defined in Test.Util.Serialisation.SomeResult Methods showsPrec ∷ Int → SomeResult blk → ShowS # show ∷ SomeResult blk → String # showList ∷ [SomeResult blk] → ShowS # | |
| Eq (SomeResult blk) Source # | |
Defined in Test.Util.Serialisation.SomeResult Methods (==) ∷ SomeResult blk → SomeResult blk → Bool # (/=) ∷ SomeResult blk → SomeResult blk → Bool # | |