Hoogle Search
Within LTS Haskell 24.42 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
allConstantHandler :: BinaryPartialStrategy tag a b c => tag -> a -> b -> Maybe (Term c)grisette Grisette.Internal.SymPrim.Prim.Internal.Term No documentation available.
-
grisette Grisette.Internal.TH.Derivation.Derive All the classes that can be derived for GADTs. This includes:
-
grisette Grisette.Internal.TH.Derivation.Derive All the classes that can be derived for GADT functors. This includes all the classes in allClasses0 and allClasses1.