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.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
eqType :: Type -> Type -> Boolliquidhaskell-boot Liquid.GHC.API 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.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
eq2Default :: (Bimatchable t, Eq a, Eq b) => t a b -> t a b -> Boolmatchable Data.Bimatchable No documentation available.
eqDefault :: (Matchable t, Eq a) => t a -> t a -> Boolmatchable Data.Matchable Matchable t implies Eq a => Eq (t a).
-
sbv Documentation.SBV.Examples.Puzzles.AOC_2021_24 Equality.
eqBy :: Monad m => (a -> b -> Bool) -> Stream m a -> Stream m b -> m Boolstreamly-core Streamly.Data.Stream Compare two streams for equality
eqWord8 :: forall (m :: Type -> Type) . Monad m => Word8 -> Parser Word8 m Word8streamly-core Streamly.Internal.Data.Binary.Parser Accept the input byte only if it is equal to the specified value. Pre-release