Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. AlloyObjectNameMismatch :: Expected -> Got -> AlloyObjectNameMismatch

   call-alloy	Language.Alloy.Exceptions

   No documentation available.

2. newtype AlloyResponseFailure

   call-alloy	Language.Alloy.Exceptions

   An unexpected Alloy response. This would usually happen when call-alloy does not know how to interpret a response that was received from Alloy. In this case an issue should be opened, describing in detail what was tried and the received error response.

3. newtype AllB b

   cond	Data.Algebra.Boolean

   A boolean algebra regarded as a monoid under conjunction

4. AllB :: b -> AllB b

   cond	Data.Algebra.Boolean

   No documentation available.

5. type AllocComplex a = CSize -> IO Ptr Complex a

   fftw-ffi	Numeric.FFTW.FFI

   No documentation available.

6. type AllocReal a = CSize -> IO Ptr a

   fftw-ffi	Numeric.FFTW.FFI

   No documentation available.

7. AllJSON :: DebugSystemHooks

   gitlab-haskell	GitLab.Types

   Report all received JSON objects about GitLab events

8. module Grisette.Internal.SymPrim.AllSyms

   No documentation available.

9. class AllSyms a

   grisette	Grisette.Internal.SymPrim.AllSyms

   Extract all symbolic primitive values that are represented as SMT terms.

   >>> allSyms (["a" + 1 :: SymInteger, -"b"], "c" :: SymBool)
   [(+ 1 a),(- b),c]
   

   This is usually used for getting a statistical summary of the size of a symbolic value with allSymsSize. Note: This type class can be derived for algebraic data types. You may need the DerivingVia and DerivingStrategies extenstions.

   data X = ... deriving Generic deriving AllSyms via (Default X)
   

10. data family AllSymsArgs arity a

    grisette	Grisette.Internal.SymPrim.AllSyms

    The arguments to the generic AllSyms function.

Page 58 of many | Previous | Next