Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. mapMaybe :: forall t (m :: Type -> Type) a b . (IsStream t, Monad m) => (a -> Maybe b) -> t m a -> t m b

    streamly Streamly.Prelude

    Map a Maybe returning function to a stream, filter out the Nothing elements, and return a stream of values extracted from Just. Equivalent to: 

    mapMaybe f = Stream.map fromJust . Stream.filter isJust . Stream.map f

  2. mapMaybeM :: (IsStream t, MonadAsync m, Functor (t m)) => (a -> m (Maybe b)) -> t m a -> t m b

    streamly Streamly.Prelude

    Like mapMaybe but maps a monadic function. Equivalent to: 

    mapMaybeM f = Stream.map fromJust . Stream.filter isJust . Stream.mapM f
    Concurrent (do not use with fromParallel on infinite streams)

  3. putMaybeLineComment :: Maybe EpaComment -> P ()

    stylish-haskell Language.Haskell.Stylish.Printer

    No documentation available.

  4. partCompareListMaybe :: Eq a => [Maybe a] -> [Maybe a] -> Maybe Ordering

    swish Data.Ord.Partial

    Part-ordering comparison on lists of Maybe values.

  5. type BinMaybeFnApply a = a -> Bool -> BinMaybeFnDescr a -> [Maybe a] -> Maybe [a]

    swish Swish.Datatype

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

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

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

  8. binMaybeFnApp :: BinMaybeFnApply a

    swish Swish.Datatype

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

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

    swish Swish.Ruleset

    Find a named axiom in a proof context.

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

    swish Swish.Ruleset

    Find a named rule in a proof context.

Page 287 of many | Previous | Next