Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. maybePlus :: Summable a => a -> a -> Maybe a

   typst	Typst.Types

   No documentation available.

2. maybeTimes :: Multipliable a => a -> a -> Maybe a

   typst	Typst.Types

   No documentation available.

3. maybeToFailure :: a -> Maybe e -> Validation e a

   validation-selective	Validation

   Maps Just to Failure In case of Nothing it wraps the given default value into Success.

   >>> maybeToFailure True (Just "aba")
   Failure "aba"
   
   >>> maybeToFailure True Nothing
   Success True
   

4. maybeToSuccess :: e -> Maybe a -> Validation e a

   validation-selective	Validation

   Maps Just to Success. In case of Nothing it wraps the given default value into Failure

   >>> maybeToSuccess True (Just "aba")
   Success "aba"
   
   >>> maybeToSuccess True Nothing
   Failure True
   

5. maybeToFailure :: a -> Maybe e -> Validation e a

   validation-selective	Validation.Combinators

   Maps Just to Failure In case of Nothing it wraps the given default value into Success.

   >>> maybeToFailure True (Just "aba")
   Failure "aba"
   
   >>> maybeToFailure True Nothing
   Success True
   

6. maybeToSuccess :: e -> Maybe a -> Validation e a

   validation-selective	Validation.Combinators

   Maps Just to Success. In case of Nothing it wraps the given default value into Failure

   >>> maybeToSuccess True (Just "aba")
   Success "aba"
   
   >>> maybeToSuccess True Nothing
   Failure True
   

7. maybeRep :: forall (m :: Type -> Type) a . Monad m => Maybe ByteString -> Bool -> SharedRep m a -> SharedRep m (Maybe a)

   web-rep	Web.Rep.SharedReps

   Represent a Maybe using a checkbox. Hides the underlying content on Nothing

8. maybePartExpr :: IsExprBuilder sym => sym -> Maybe a -> PartExpr (Pred sym) a

   what4	What4.Partial

   Create a part expression from a maybe value.

9. maybeTryFrom :: (source -> Maybe target) -> source -> Either (TryFromException source target) target

   witch	Witch

   This function can be used to implement tryFrom with a function that returns Maybe. For example:

   -- Avoid this:
   tryFrom s = case f s of
   Nothing -> Left $ TryFromException s Nothing
   Just t -> Right t
   
   -- Prefer this:
   tryFrom = maybeTryFrom f
   

10. maybeTryFrom :: (source -> Maybe target) -> source -> Either (TryFromException source target) target

    witch	Witch.Utility

    This function can be used to implement tryFrom with a function that returns Maybe. For example:

    -- Avoid this:
    tryFrom s = case f s of
    Nothing -> Left $ TryFromException s Nothing
    Just t -> Right t
    
    -- Prefer this:
    tryFrom = maybeTryFrom f
    

Page 61 of many | Previous | Next