Hoogle Search
Within LTS Haskell 24.17 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type family
EQSym0 :: Orderingsingletons-base Data.Singletons.Base.TH No documentation available.
type family
EQSym0 :: Orderingsingletons-base Prelude.Singletons No documentation available.
-
OpenGL Graphics.Rendering.OpenGL.GL.PerFragment No documentation available.
-
OpenGL Graphics.Rendering.OpenGL.GL.PerFragment No documentation available.
module GHC.Internal.Data.Type.
Equality Definition of propositional equality (:~:). Pattern-matching on a variable of type (a :~: b) produces a proof that a ~ b.
EqualTo :: Name -> Equivalence -> Propertytasty-inspection-testing Test.Tasty.Inspection Are the two functions equal? More precisely: f is equal to g if either the definition of f is f = g, or the definition of g is g = f, or if the definitions are f = e and g = e. In general f and g need to be defined in this module, so that their actual defintions can be inspected. The Equivalence indicates how strict to check for equality
module TextShow.Data.Type.
Equality TextShow instance for propositional equality. Since: 2
-
hledger-lib Hledger.Data No documentation available.
-
hledger-lib Hledger.Data.Types No documentation available.
-
parameterized-utils Data.Parameterized.Classes EqF provides a method eqF for testing whether two parameterized types are equal. Unlike TestEquality, this only works when the type arguments are the same, and does not provide a proof that the types have the same type when they are equal. Thus this can be implemented over parameterized types that are unable to provide evidence that their type arguments are equal.