Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. getMaybeContextAxiom :: ScopedName -> [Ruleset ex] -> Maybe (Formula ex)

   swish	Swish.Ruleset

   Find a named axiom in a proof context.

2. getMaybeContextRule :: ScopedName -> [Ruleset ex] -> Maybe (Rule ex)

   swish	Swish.Ruleset

   Find a named rule in a proof context.

3. fromMaybes :: [Maybe a] -> Pattern a

   tidal	Sound.Tidal.Boot

   'fromMaybes; is similar to fromList, but allows values to be optional using the Maybe type, so that Nothing results in gaps in the pattern. The following are equivalent: > d1 $ n (fromMaybes [Just 0, Nothing, Just 2]) # s "superpiano" > d1 $ n "0 ~ 2" # s "superpiano"

4. subMaybeArc :: Maybe Arc -> Maybe Arc -> Maybe (Maybe Arc)

   tidal	Sound.Tidal.Boot

   No documentation available.

5. pKeyMaybe :: Text -> L Table -> L (Maybe Value)

   toml-reader-parse	TOML.Parse

   No documentation available.

6. whenMaybe :: Applicative m => Maybe a -> (a -> m ()) -> m ()

   tools-yj	Control.Monad.ToolsYj

   No documentation available.

7. whenMaybeDef :: Applicative m => b -> Maybe a -> (a -> m b) -> m b

   tools-yj	Control.Monad.ToolsYj

   No documentation available.

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

   tools-yj	Data.Maybe.ToolsYj

   No documentation available.

9. findMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m (Maybe (a, b))

   tools-yj	Data.Maybe.ToolsYj

   No documentation available.

10. imapMaybe :: (Unboxable a, Unboxable b) => (Int -> a -> Maybe b) -> Vector a -> Vector b

    unboxing-vector	Data.Vector.Unboxing

    No documentation available.

Page 288 of many | Previous | Next