| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Util.Serialisation.SomeResult
Synopsis
- data SomeResult blk where
- SomeResult ∷ ∀ result blk (fp ∷ QueryFootprint). (Eq result, Show result, Typeable result) ⇒ BlockQuery blk fp 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 ∷ ∀ result blk (fp ∷ QueryFootprint). (Eq result, Show result, Typeable result) ⇒ BlockQuery blk fp 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 # | |