Hoogle Search

Within Stackage Nightly 2025-09-24 (ghc-9.12.2)

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

Exact lookup

1. data SetList

   relational-query	Database.Relational.Arrow

   Type tag for aggregatings GROUPING SETS

2. data SetList

   relational-query	Database.Relational.Context

   Type tag for aggregatings GROUPING SETS

3. data SetOp

   relational-query	Database.Relational.SqlSyntax

   Set operators

4. SetInfo :: String -> [String] -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

5. SetLogic :: Logic -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

6. SetTimeOut :: Integer -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

7. SetOp :: SetOp -> Op

   sbv	Data.SBV.Internals

   No documentation available.

8. SetInfo :: String -> [String] -> SMTOption

   sbv	Data.SBV.Trans.Control

   No documentation available.

9. SetLogic :: Logic -> SMTOption

   sbv	Data.SBV.Trans.Control

   No documentation available.

10. SetTimeOut :: Integer -> SMTOption

    sbv	Data.SBV.Trans.Control

    No documentation available.

Page 19 of many | Previous | Next