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.
type family
EQSym0 :: Orderingsingletons-base Data.Ord.Singletons No documentation available.
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.