Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. data PostgresContainerOptions

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

2. PostgresContainerOptions :: Text -> Text -> Map Text Text -> Maybe Text -> ContainerSystem -> Text -> PostgresContainerOptions

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

3. data PostgresContext

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

4. PostgresContext :: Text -> Text -> Text -> NetworkAddress -> Text -> Maybe NetworkAddress -> PostgresContext

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

5. data PostgresNixOptions

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

6. PostgresNixOptions :: Text -> Text -> Text -> Text -> [Text] -> PostgresNixOptions

   sandwich-contexts	Test.Sandwich.Contexts.PostgreSQL

   No documentation available.

7. module Test.Sandwich.Contexts.Util.Ports

   Helper module for finding free ports, with various options for port ranges, retries, and excluded ports.

8. Pareto :: Maybe Int -> OptimizeStyle

   sbv	Data.SBV

   Objectives are optimized according to pareto front: That is, no objective can be made better without making some other worse.

9. ParetoResult :: (Bool, [SMTResult]) -> OptimizeResult

   sbv	Data.SBV

   No documentation available.

10. data Penalty

    sbv	Data.SBV

    Penalty for a soft-assertion. The default penalty is 1, with all soft-assertions belonging to the same objective goal. A positive weight and an optional group can be provided by using the Penalty constructor.

Page 990 of many | Previous | Next