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.

  1. type family EqBinP (n :: BinP) (m :: BinP) :: Bool

    bin Data.Type.BinP

    No documentation available.

  2. Equal :: Double -> Bound

    comfort-glpk Numeric.GLPK

    No documentation available.

  3. newtype EquivB b

    cond Data.Algebra.Boolean

    A boolean algebra regarded as a monoid under equivalence

  4. EquivB :: b -> EquivB b

    cond Data.Algebra.Boolean

    No documentation available.

  5. Equal :: Relation

    data-interval Data.IntervalRelation

    Intervals are equal.

  6. type EqualTo (a :: k) = TyPred (:~:) a

    decidable Data.Type.Predicate

    EqualTo a is a predicate that the input is equal to a. 

    EqualTo :: k -> Predicate k

  7. type Equiv (p :: Predicate k1) (q :: Predicate k1) = Provable p <==> q

    decidable Data.Type.Predicate.Logic

    Equiv p q is a constraint that p <==> q is Provable; that is, you can prove that p is logically equivalent to q.

  8. data EqBy (a :: v ~> k) (b :: k) (c :: TyFun v Type)

    decidable Data.Type.Predicate.Param

    Found (EqBy f) @@ x is true if there exists some value when, with f applied to it, is equal to x. See IsTC for a useful specific application. 

    EqBy :: (v ~> k) -> ParamPred k v
Found (EqBy f) :: Predicate k

  9. type EquivalentDose = DoseEquivalent

    dimensional Numeric.Units.Dimensional.Quantities

    No documentation available.

  10. module Control.Exception.ErrorCall.EqInstance

    No documentation available.

Page 38 of many | Previous | Next