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. noteResult :: CompareResult -> Text

    perf Perf.Report

    No documentation available.

  2. noteSequence :: forall (m :: Type -> Type) msg . RelativeTicks m -> Bool -> [Bool -> msg] -> Bundle m msg

    reactive-midyim Reactive.Banana.MIDI.Process

    No documentation available.

  3. notElem :: (Generator c, Eq (Elem c)) => Elem c -> c -> Bool

    reducers Data.Generator.Combinators

    Check to make sure that the supplied value is not a member of the Generator

  4. notElem :: SChar -> SString -> SBool

    sbv Data.SBV.Char

    Is the character not in the string? 

    >>> prove $ \c s -> c `elem` s .<=> sNot (c `notElem` s)
Q.E.D.

  5. notElem :: (Eq a, SymVal a) => SBV a -> SList a -> SBool

    sbv Data.SBV.List

    notElem e l. Does l not contain the element e?

  6. noTerminationChecks :: IO Proof

    sbv Documentation.SBV.Examples.KnuckleDragger.Basics

    It's important to realize that KnuckleDragger proofs in SBV neither check nor guarantee that the functions we use are terminating. This is beyond the scope (and current capabilities) of what SBV can handle. That is, the proof is up-to-termination, i.e., any proof implicitly assumes all functions defined (or axiomatized) terminate for all possible inputs. If non-termination is possible, then the logic becomes inconsistent, i.e., we can prove arbitrary results. Here is a simple example where we tell SBV that there is a function f with non terminating behavior. Using this, we can deduce False: 

    >>> noTerminationChecks
Axiom: bad
Lemma: noTerminationImpliesFalse
Step: 1 (bad @ (n |-> 0 :: SInteger)) Q.E.D.
Result:                               Q.E.D.
[Proven] noTerminationImpliesFalse

  7. notElem :: forall a (m :: Type -> Type) . (Eq a, Monad m) => a -> Fold m a Bool

    streamly-core Streamly.Data.Fold

    Returns True if the given element is not present in the stream. Definition: 

    >>> notElem a = Fold.all (/= a)

  8. notElem :: forall a (m :: Type -> Type) . (Eq a, Monad m) => a -> Fold m a Bool

    streamly-core Streamly.Internal.Data.Fold

    Returns True if the given element is not present in the stream. Definition: 

    >>> notElem a = Fold.all (/= a)

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

    streamly-core Streamly.Internal.Data.Stream

    No documentation available.

  10. notElem :: (Monad m, Eq a) => a -> StreamK m a -> m Bool

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

Page 33 of many | Previous | Next