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.
-
radix-tree Data.Radix1Tree.Word8.Strict -
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.