Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
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.
-
cond Data.Algebra.Boolean A boolean algebra regarded as a monoid under conjunction
-
cond Data.Algebra.Boolean No documentation available.
type
AllocComplex a = CSize -> IO Ptr Complex afftw-ffi Numeric.FFTW.FFI No documentation available.
type
AllocReal a = CSize -> IO Ptr afftw-ffi Numeric.FFTW.FFI No documentation available.
-
gitlab-haskell GitLab.Types Report all received JSON objects about GitLab events
module Grisette.Internal.SymPrim.
AllSyms No documentation available.
-
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)
data family
AllSymsArgs arity agrisette Grisette.Internal.SymPrim.AllSyms The arguments to the generic AllSyms function.
-
grisette Grisette.SymPrim 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)