Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. notElem :: forall (m :: Type -> Type) a o . (Monad m, Eq a) => a -> ConduitT a o m Bool

    conduit Data.Conduit.Combinators

    Are no values in the stream equal to the given value? Stops consuming as soon as a match is found. Subject to fusion

  2. notElemE :: forall (m :: Type -> Type) seq o . (Monad m, IsSequence seq, Eq (Element seq)) => Element seq -> ConduitT seq o m Bool

    conduit Data.Conduit.Combinators

    Are no elements in the chunked stream equal to the given element? Stops consuming as soon as a match is found. Subject to fusion

  3. notElem :: (Foldable t, Eq a) => a -> t a -> Bool

    hedgehog Hedgehog.Internal.Prelude

    notElem is the negation of elem.

    Examples

    Basic usage: 
    >>> 3 `notElem` []
True

    >>> 3 `notElem` [1,2]
True

    >>> 3 `notElem` [1,2,3,4,5]
False
    For infinite structures, notElem terminates if the value exists at a finite distance from the left side of the structure: 
    >>> 3 `notElem` [1..]
False

    >>> 3 `notElem` ([4..] ++ [3])
* Hangs forever *

  4. notElemSubst :: Var -> Subst -> Bool

    ghc GHC.Core.TyCo.Subst

    No documentation available.

  5. notElemSubst :: Var -> Subst -> Bool

    ghc GHC.Core.Type

    No documentation available.

  6. notElemSubst :: Var -> Subst -> Bool

    ghc GHC.Plugins

    No documentation available.

  7. notElem :: (Foldable t, Eq a) => a -> t a -> Bool

    ghc GHC.Prelude.Basic

    No documentation available.

  8. notElemSubst :: Var -> Subst -> Bool

    ghc GHC.Tc.Utils.TcType

    No documentation available.

  9. notElem :: (Monad m, Eq a) => a -> Producer a m () -> m Bool

    pipes Pipes.Prelude

    (notElem a) returns False if p has an element equal to a, True otherwise

  10. notElem :: Eq a => a -> Fold a Bool

    foldl Control.Foldl

    (notElem a) returns False if the container has an element equal to a, True otherwise

Page 8 of many | Previous | Next