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. runParserMaybe :: Parser e a -> ByteString -> Maybe a

    web-rep Web.Rep.Internal.FlatParse

    Run a Parser, throwing away leftovers. Nothing on Fail or Err. 

    >>> runParserMaybe ws "x"
Nothing

    >>> runParserMaybe ws " x"
Just ' '

  2. listMaybeRep :: forall (m :: Type -> Type) a . Monad m => Maybe ByteString -> ByteString -> (ByteString -> Maybe a -> SharedRep m (Maybe a)) -> Int -> [a] -> SharedRep m [Maybe a]

    web-rep Web.Rep.SharedReps

    A fixed-sized list of Maybe a's

  3. getMaybeOpt :: Opt tp a => OptionSetting tp -> IO (Maybe a)

    what4 What4.Config

    Return the current value of the option, as a Maybe value.

  4. exprMaybeId :: forall t (tp :: BaseType) . Expr t tp -> Maybe (Nonce t tp)

    what4 What4.Expr.Builder

    No documentation available.

  5. joinMaybePE :: Maybe (PartExpr p v) -> PartExpr p v

    what4 What4.Partial

    joinMaybePE = fromMaybe Unassigned.

  6. returnMaybe :: forall sym (m :: Type -> Type) a . (IsExpr (SymExpr sym), Applicative m) => Maybe a -> PartialT sym m a

    what4 What4.Partial

    Lift a Maybe value to a partial expression.

  7. mapMaybe :: (Ord k, Semigroup v) => (a -> Maybe b) -> AnnotatedMap k v a -> AnnotatedMap k v b

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  8. mapMaybeWithKey :: (Ord k, Semigroup v2) => (k -> v1 -> a1 -> Maybe (v2, a2)) -> AnnotatedMap k v1 a1 -> AnnotatedMap k v2 a2

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  9. traverseMaybeWithKey :: (Applicative f, Ord k, Semigroup v2) => (k -> v1 -> a1 -> f (Maybe (v2, a2))) -> AnnotatedMap k v1 a1 -> f (AnnotatedMap k v2 a2)

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  10. unionWithKeyMaybe :: (Ord k, Semigroup v) => (k -> a -> a -> Maybe (v, a)) -> AnnotatedMap k v a -> AnnotatedMap k v a -> AnnotatedMap k v a

    what4 What4.Utils.AnnotatedMap

    No documentation available.

Page 256 of many | Previous | Next