Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. EventSequenceEnd :: Event

   libyaml	Text.Libyaml

   No documentation available.

2. EventSequenceStart :: Tag -> SequenceStyle -> Anchor -> Event

   libyaml	Text.Libyaml

   No documentation available.

3. FlowSequence :: SequenceStyle

   libyaml	Text.Libyaml

   No documentation available.

4. derivedSequence :: SequenceDerivable s i => Sequence s i

   relational-query	Database.Relational.Arrow

   No documentation available.

5. unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i

   relational-query	Database.Relational.Arrow

   Unsafely specify sequence table.

6. boundSequence :: SeqBinding r s i -> Sequence s i

   relational-query	Database.Relational.Sequence

   sequence table record

7. derivedSequence :: SequenceDerivable s i => Sequence s i

   relational-query	Database.Relational.Sequence

   No documentation available.

8. unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i

   relational-query	Database.Relational.Sequence

   Unsafely specify sequence table.

9. subConsequence :: Thy -> [Class Expr] -> Expr -> Expr -> Expr -> Bool

   speculate	Test.Speculate.Engine

   Is the equation a consequence of substitution? > subConsequence (x == y) (x + y) (x + x) == True > subConsequence (x <= y) (x + y) (x + x) == False -- not sub > subConsequence (abs x == abs y) (abs x) (abs y) == True > subConsequence (abs x == 1) (x + abs x) (20) == False (artificial)

10. transConsequence :: Shy -> Equation -> Bool

    speculate	Test.Speculate.SemiReason

    No documentation available.

Page 66 of many | Previous | Next