Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

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

Exact lookup

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

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

   what4	What4.Config

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

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

   what4	What4.Expr.Builder

   No documentation available.

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

   what4	What4.Partial

   joinMaybePE = fromMaybe Unassigned.

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

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

   what4	What4.Utils.AnnotatedMap

   No documentation available.

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

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

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

10. xpWrapMaybe :: (a -> Maybe b) -> (b -> a) -> PU t a -> PU t b

    xml-picklers	Data.XML.Pickle

    Like xpWrap, but strips Just (and treats Nothing as a failure) during unpickling.

Page 261 of many | Previous | Next