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.
eqType :: Type -> Type -> Boolghc-typelits-presburger GHC.TypeLits.Presburger.Compat Type equality on source types. Does not look through newtypes, PredTypes or type families, but it does look through type synonyms. This first checks that the kinds of the types are equal and then checks whether the types are equal, ignoring casts and coercions. (The kind check is a recursive call, but since all kinds have type Type, there is no need to check the types of kinds.) See also Note [Non-trivial definitional equality] in GHC.Core.TyCo.Rep.
eqSubst :: Type -> String -> Q (Type, Pred)optics-th Optics.TH.Internal.Utils No documentation available.
eqBy :: (a -> b -> Bool) -> Vector a -> Vector b -> Boolrebase Rebase.Data.Vector No documentation available.
eqBy :: Monad m => (a -> b -> Bool) -> Stream m a -> Stream m b -> m Boolrebase Rebase.Data.Vector.Fusion.Stream.Monadic Check if two Streams are equal
eqBy :: (Vector v a, Vector v b) => (a -> b -> Bool) -> v a -> v b -> Boolrebase Rebase.Data.Vector.Generic No documentation available.
eqBy :: (Prim a, Prim b) => (a -> b -> Bool) -> Vector a -> Vector b -> Boolrebase Rebase.Data.Vector.Primitive No documentation available.
eqBy :: (Storable a, Storable b) => (a -> b -> Bool) -> Vector a -> Vector b -> Boolrebase Rebase.Data.Vector.Storable No documentation available.
eqBy :: (Unbox a, Unbox b) => (a -> b -> Bool) -> Vector a -> Vector b -> Boolrebase Rebase.Data.Vector.Unboxed No documentation available.
equilibrium :: (Double, Double, Double)synthesizer-core Synthesizer.Plain.LorenzAttractor No documentation available.
equal :: Eq a => T a -> T a -> Boolsynthesizer-core Synthesizer.State.Signal No documentation available.