Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. isJust :: Maybe a -> Bool

    incipit-base Incipit.Base

    The isJust function returns True iff its argument is of the form Just _.

    Examples

    Basic usage: 
    >>> isJust (Just 3)
True

    >>> isJust (Just ())
True

    >>> isJust Nothing
False
    Only the outer constructor is taken into consideration: 
    >>> isJust (Just Nothing)
True

  2. endsJust :: (HasCallStack, Show a, Eq a) => IO (Maybe a) -> a -> Expectation

    keyed-vals-hspec-tests Test.KeyedVals.Hspec

    action `endsJust` expected sets the expectation that action returns Just expected.

    Example

    >>> pure (readMaybe "1" :: Maybe Int) `endsJust` 1

  3. endsJust_ :: Show a => IO (Maybe a) -> IO ()

    keyed-vals-hspec-tests Test.KeyedVals.Hspec

    endsJust_ action sets the expectation that action returns Just a.

    Example

    >>> endsJust_ $ pure (readMaybe "1" :: Maybe Int)

  4. adjust :: (v -> v) -> KeySpec -> KVITable v -> KVITable v

    kvitable Data.KVITable

    Adjust a value at the specified keyspec; return the original KVITable if that keyspec is not found in the table.

  5. adjustWithKey :: (KeySpec -> v -> v) -> KeySpec -> KVITable v -> KVITable v

    kvitable Data.KVITable

    Adjust a value at the specified keyspec; return the original KVITable if that keyspec is not found in the table.

  6. mfromJust :: (?callStack :: CallStack) => String -> Maybe a -> a

    liquid-fixpoint Language.Fixpoint.Misc

    No documentation available.

  7. adjustBindEnv :: ((Symbol, SortedReft) -> (Symbol, SortedReft)) -> BindId -> BindEnv a -> BindEnv a

    liquid-fixpoint Language.Fixpoint.Types.Environments

    No documentation available.

  8. firstJust :: (a -> Maybe b) -> [a] -> Maybe b

    liquidhaskell-boot Language.Haskell.Liquid.Misc

    No documentation available.

  9. safeFromJust :: String -> Maybe t -> t

    liquidhaskell-boot Language.Haskell.Liquid.Misc

    No documentation available.

  10. adjust' :: Ord k => (a -> a) -> k -> Map k a -> Map k a

    lrucache Data.Cache.LRU.Internal

    Internal function. This is very similar to adjust, with two major differences. First, it's strict in the application of the function, which is a huge win when working with this structure. Second, it requires that the key be present in order to work. If the key isn't present, undefined will be inserted into the Map, which will cause problems later.

Page 113 of many | Previous | Next