Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. rightIdentityOnElemWithEquality :: (a -> b -> a) -> (a -> a -> Bool) -> b -> a -> Bool

   genvalidity-property	Test.Validity.Property

2. rightIdentityOnGenWithEquality :: Show a => (a -> b -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

   genvalidity-property	Test.Validity.Property

   No documentation available.

3. antisymmetricOnElemsWithEquality :: (a -> a -> Bool) -> (a -> a -> Bool) -> a -> a -> Bool

   genvalidity-property	Test.Validity.Relations.Antisymmetry

4. antisymmetryOnGensWithEquality :: Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> a -> Bool) -> (a -> [a]) -> Property

   genvalidity-property	Test.Validity.Relations.Antisymmetry

   No documentation available.

5. ineqToSubst :: Ineq -> Maybe CoreUnify

   ghc-typelits-natnormalise	GHC.TypeLits.Normalise.Unify

   Give the smallest solution for an inequality

6. instantSolveIneq :: Word -> Ineq -> WriterT (Set CType) Maybe Bool

   ghc-typelits-natnormalise	GHC.TypeLits.Normalise.Unify

   Try to instantly solve an inequality by using the inequality solver using 1 <=? 1 ~ True as the given constraint.

7. solveIneq :: Word -> Ineq -> Ineq -> WriterT (Set CType) Maybe Bool

   ghc-typelits-natnormalise	GHC.TypeLits.Normalise.Unify

   Try to solve inequalities

8. solvedInEqSmallestConstraint :: [(Bool, Set a)] -> (Bool, Set a)

   ghc-typelits-natnormalise	GHC.TypeLits.Normalise.Unify

   No documentation available.

9. subtractIneq :: (CoreSOP, CoreSOP, Bool) -> CoreSOP

   ghc-typelits-natnormalise	GHC.TypeLits.Normalise.Unify

   Subtract an inequality, in order to either:

   • See if the smallest solution is a natural number
   • Cancel sums, i.e. monotonicity of addition

   subtractIneq (2*y <=? 3*x ~ True)  = (-2*y + 3*x)
   subtractIneq (2*y <=? 3*x ~ False) = (-3*x + (-1) + 2*y)
   

10. module Data.AEq

    A type class for approximate and exact equalilty comparisons and instances for common data types.

Page 311 of many | Previous | Next