Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. fromJustConvertSpec :: ConvertSpec Maybe -> ConvertSpec Identity

   ihaskell	IHaskell.Convert.Args

   Convert a possibly-incomplete specification for what to convert into one which can be executed. Calls error when data is missing.

2. 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
   

3. 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
   

4. 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)
   

5. 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.

6. 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.

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

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

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

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

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

    liquidhaskell-boot	Language.Haskell.Liquid.Misc

    No documentation available.

Page 113 of many | Previous | Next