Hoogle Search
Within LTS Haskell 24.18 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
radix-tree Data.RadixTree.Word8.Lazy -
radix-tree Data.RadixTree.Word8.Strict -
radix-tree Data.Zebra.Word -
rampart Rampart Interval x is equal to Interval y.
lesser x == lesser y && greater x == greater y
+---+ | x | +---+ +---+ | y | +---+
-
Equality Saturation for SRTree Heavily based on hegg (https:/github.comalt-romes/hegg by alt-romes)
-
srtree Algorithm.SRTree.NonlinearOpt An equality constraint, comprised of both the constraint function (or functions, if a preconditioner is used) along with the desired tolerance.
EqualityConstraint :: Constraint s v -> Double -> EqualityConstraint s vsrtree Algorithm.SRTree.NonlinearOpt No documentation available.
type
EqualityConstraints = [EqualityConstraint ScalarConstraint VectorConstraint]srtree Algorithm.SRTree.NonlinearOpt A collection of equality constraints that do not supply constraint derivatives.
type
EqualityConstraintsD = [EqualityConstraint ScalarConstraintD VectorConstraintD]srtree Algorithm.SRTree.NonlinearOpt A collection of equality constraints that supply constraint derivatives.
Equals :: forall a1 . (Show a1, ToJSON a1, Eq a1, Typeable a1) => Val a1 -> Val a1 -> Val Boolstratosphere Stratosphere.Values No documentation available.