Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. whenJustM :: Monad m => m (Maybe a) -> (a -> m ()) -> m ()

   relude	Relude.Monad.Maybe

   Monadic version of whenJust.

   >>> whenJustM (pure Nothing) $ \b -> print (not b)
   
   >>> whenJustM (pure $ Just True) $ \b -> print (not b)
   False
   

2. isJust :: Maybe a -> Bool

   relude	Relude.Monad.Reexport

   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. fromJust :: HasCallStack => Maybe a -> a

   relude	Relude.Unsafe

   The fromJust function extracts the element out of a Just and throws an error if its argument is Nothing.

   Examples

   Basic usage:

   >>> fromJust (Just 1)
   1
   

   >>> 2 * (fromJust (Just 10))
   20
   

   >>> 2 * (fromJust Nothing)
   *** Exception: Maybe.fromJust: Nothing
   ...
   

   WARNING: This function is partial. You can use case-matching instead.

4. adjustDia :: (Backend b v n, Additive v, Monoid' m, Num n) => b -> Options b v n -> QDiagram b v n m -> (Options b v n, Transformation v n, QDiagram b v n m)

   diagrams-core	Diagrams.Core

   adjustDia allows the backend to make adjustments to the final diagram (e.g. to adjust the size based on the options) before rendering it. It returns a modified options record, the transformation applied to the diagram (which can be used to convert attributes whose value is Measure, or transform e.g. screen coordinates back into local diagram coordinates), and the adjusted diagram itself. See the diagrams-lib package (particularly the Diagrams.TwoD.Adjust module) for some useful implementations.

5. adjustDia :: (Backend b v n, Additive v, Monoid' m, Num n) => b -> Options b v n -> QDiagram b v n m -> (Options b v n, Transformation v n, QDiagram b v n m)

   diagrams-core	Diagrams.Core.Types

   adjustDia allows the backend to make adjustments to the final diagram (e.g. to adjust the size based on the options) before rendering it. It returns a modified options record, the transformation applied to the diagram (which can be used to convert attributes whose value is Measure, or transform e.g. screen coordinates back into local diagram coordinates), and the adjusted diagram itself. See the diagrams-lib package (particularly the Diagrams.TwoD.Adjust module) for some useful implementations.

6. data IsJust (b :: Maybe a) (c :: Bool)

   first-class-families	Fcf

   No documentation available.

7. data IsJust (b :: Maybe a) (c :: Bool)

   first-class-families	Fcf.Data.Common

   No documentation available.

8. adjust :: (Eq k, Hashable k) => (v -> v) -> k -> InsOrdHashMap k v -> InsOrdHashMap k v

   insert-ordered-containers	Data.HashMap.Strict.InsOrd

   No documentation available.

9. untilJust :: forall m (f :: Type -> Type) r . (Monad m, Applicative f) => m (Maybe r) -> Stream f m r

   streaming	Streaming

   Repeat a

10. untilJust :: forall m (f :: Type -> Type) r . (Monad m, Applicative f) => m (Maybe r) -> Stream f m r

    streaming	Streaming.Internal

    Repeat a

Page 44 of many | Previous | Next