Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

Exact lookup

1. type BinMaybeFnDescr a = (a -> a -> Maybe [a], Int, Int)

   swish	Swish.Datatype

   altArgs support for binary function with provision for indicating inconsistent supplied values: function descriptor type

2. type BinMaybeFnTable a = [(a -> Bool, [BinMaybeFnDescr a])]

   swish	Swish.Datatype

   altArgs support for binary function with provision for indicating inconsistent supplied values: function descriptor table type

3. binMaybeFnApp :: BinMaybeFnApply a

   swish	Swish.Datatype

   altArgs support for binary function with provision for indicating inconsistent supplied values: function applicator

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

   swish	Swish.Ruleset

   Find a named axiom in a proof context.

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

   swish	Swish.Ruleset

   Find a named rule in a proof context.

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

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

   tidal	Sound.Tidal.Boot

   No documentation available.

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

   toml-reader-parse	TOML.Parse

   No documentation available.

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

   tools-yj	Control.Monad.ToolsYj

   No documentation available.

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

    tools-yj	Control.Monad.ToolsYj

    No documentation available.

Page 292 of many | Previous | Next