Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. forallSet :: ConstantSymbolSet -> SymBool -> SymBool

   grisette	Grisette.SymPrim

   Forall quantifier over a set of constant symbols. Quantifier over functions is not supported.

   >>> let xsym = "x" :: TypedConstantSymbol Integer
   
   >>> let ysym = "y" :: TypedConstantSymbol Integer
   
   >>> let x = "x" :: SymInteger
   
   >>> let y = "y" :: SymInteger
   
   >>> forallSet (buildSymbolSet [xsym, ysym]) (x .== y)
   (forall x :: Integer (forall y :: Integer (= x y)))
   

   Only available with SBV 10.1.0 or later.

2. forallSym :: (HasCallStack, ExtractSym a) => a -> SymBool -> SymBool

   grisette	Grisette.SymPrim

   Forall quantifier over all symbolic constants in a value. Quantifier over functions is not supported.

   >>> let a = ["x", "y"] :: [SymInteger]
   
   >>> forallSym a $ sum a .== 0
   (forall x :: Integer (forall y :: Integer (= (+ x y) 0)))
   

   Only available with sbv 10.1.0 or later.

3. formatPath :: Text -> DistilledPost -> Maybe Text

   hakyll-convert	Hakyll.Convert.OutputFormat

   No documentation available.

4. forbidden403 :: Status

   hal	AWS.Lambda.Events.ApiGateway.ProxyResponse

   Forbidden 403

5. forall_name :: Name

   haskell-src-exts-simple	Language.Haskell.Exts.Simple.Syntax

   No documentation available.

6. format :: FormatResult r => String -> r

   hformat	Text.Format

   No documentation available.

7. formatArgs :: Format -> [FormatArg]

   hformat	Text.Format

   No documentation available.

8. formatResult :: FormatResult r => Format -> r

   hformat	Text.Format

   No documentation available.

9. formatString :: Format -> String

   hformat	Text.Format

   No documentation available.

10. formats :: FormatResult r => String -> [FormatArg] -> r

    hformat	Text.Format

    No documentation available.

Page 165 of many | Previous | Next