Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
allSatMaxModelCount :: SMTConfig -> Maybe Intgrisette Grisette.Backend In a allSat call, return at most this many models. If nothing, return all.
allSatPrintAlong :: SMTConfig -> Boolgrisette Grisette.Backend In a allSat call, print models as they are found.
allSatTrackUFs :: SMTConfig -> Boolgrisette Grisette.Backend In a allSat call, should we try to extract values of uninterpreted functions?
allSyms :: AllSyms a => a -> [SomeSym]grisette Grisette.Internal.SymPrim.AllSyms Specialized allSymsS that prepends to an empty list.
allSymsS :: AllSyms a => a -> [SomeSym] -> [SomeSym]grisette Grisette.Internal.SymPrim.AllSyms Convert a value to a list of symbolic primitive values. It should prepend to an existing list of symbolic primitive values.
allSymsS1 :: (AllSyms1 f, AllSyms a) => f a -> [SomeSym] -> [SomeSym]grisette Grisette.Internal.SymPrim.AllSyms Lift the standard allSymsS function to unary type constructors.
allSymsS2 :: (AllSyms2 f, AllSyms a, AllSyms b) => f a b -> [SomeSym] -> [SomeSym]grisette Grisette.Internal.SymPrim.AllSyms Lift the standard allSymsS function to binary type constructors.
allSymsSize :: AllSyms a => a -> Intgrisette Grisette.Internal.SymPrim.AllSyms Get the total size of symbolic terms in a value. Duplicate sub-terms are counted for only once.
>>> allSymsSize ("a" :: SymInteger, "a" + "b" :: SymInteger, ("a" + "b") * "c" :: SymInteger) 5The 5 terms are a, b, (+ a b), c, and (* (+ a b) c).allFPRoundingMode :: [FPRoundingMode]grisette Grisette.Internal.SymPrim.FP All IEEE 754 rounding modes.
allConstantHandler :: BinaryPartialStrategy tag a b c => tag -> a -> b -> Maybe (Term c)grisette Grisette.Internal.SymPrim.Prim.Internal.PartialEval No documentation available.