Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. forallFresh :: (HasCallStack, ExtractSym v, MonadFresh m, GenSym spec v, TryMerge m) => spec -> (v -> FreshT Union SymBool) -> m SymBool

   grisette	Grisette.SymPrim

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

   >>> :{
   x :: Fresh SymBool
   x = forallFresh () $ \(a :: SymBool) ->
   existsFresh () $ \(b :: SymBool) ->
   mrgReturn $ a .== b
   :}
   

   >>> runFresh x "x"
   (forall x@0 :: Bool (exists x@1 :: Bool (= x@0 x@1)))
   

   Only available with sbv 10.1.0 or later.

2. 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.

3. 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.

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

   hakyll-convert	Hakyll.Convert.OutputFormat

   No documentation available.

5. forbidden403 :: Status

   hal	AWS.Lambda.Events.ApiGateway.ProxyResponse

   Forbidden 403

6. forall_name :: Name

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

   No documentation available.

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

   hformat	Text.Format

   No documentation available.

8. formatArgs :: Format -> [FormatArg]

   hformat	Text.Format

   No documentation available.

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

   hformat	Text.Format

   No documentation available.

10. formatString :: Format -> String

    hformat	Text.Format

    No documentation available.

Page 165 of many | Previous | Next