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.

Exact lookup

1. module Ersatz.Equatable

   No documentation available.

2. class Equatable t

   ersatz	Ersatz.Equatable

   Instances for this class for arbitrary types can be automatically derived from Generic.

3. module Theory.Equality

   No documentation available.

4. data Equals (x :: k) (y :: k1)

   gdp	Theory.Equality

   The Equals relation is used to express equality between two entities. Given an equality, you are then able to substitute one side of the equality for the other, anywhere you please.

5. pattern EqTerm :: forall r t . () => (r ~ Bool, SupportedPrim t) => Term t -> Term t -> Term r

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Pattern synonym for EqTerm'. Note that using this pattern to construct a Term will do term simplification.

6. EqTerm' :: forall t1 . {-# UNPACK #-} !CachedInfo -> !Term t1 -> !Term t1 -> Term Bool

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   No documentation available.

7. pattern EqTerm :: forall r t . () => (r ~ Bool, SupportedPrim t) => Term t -> Term t -> Term r

   grisette	Grisette.SymPrim

   Pattern synonym for EqTerm'. Note that using this pattern to construct a Term will do term simplification.

8. Equals :: Key

   keycode	Web.KeyCode

   Without Shift: =. With Shift: +.

9. Equals :: AssignOp

   language-bash	Language.Bash.Syntax

   =
   

10. Equ :: Expr -> Expr -> Expr

    language-glsl	Language.GLSL.Syntax

    No documentation available.

Page 39 of many | Previous | Next