Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. mapStore_ :: (Ord k, MonadIO m) => IO (SessionStore m k v)

    wai-session Network.Wai.Session.Map

    Store using simple session ID generator based on time and Unique

  2. mapRouteT :: (m a -> n b) -> RouteT url m a -> RouteT url n b

    web-routes Web.Routes.RouteT

    Transform the computation inside a RouteT.

  3. mapModClass :: (Class -> Class) -> Mod c -> Mod c

    web-view Web.View.Style

    No documentation available.

  4. mapRange :: (a -> b) -> ValueRange a -> ValueRange b

    what4 What4.Utils.AbstractDomains

    Map a monotonic function over a range.

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

    what4 What4.Utils.AnnotatedMap

    No documentation available.

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

  7. mapKeysMonotonic :: (k1 -> k2) -> LeqMap k1 p -> LeqMap k2 p

    what4 What4.Utils.LeqMap

    No documentation available.

  8. mapListProduct :: forall w (t :: [Type]) . ListType w t -> (forall a . () => w a -> a -> a) -> ListProduct t -> ListProduct t

    witness Data.Type.Witness.Specific.List.Product

    No documentation available.

  9. mapListSum :: forall w (t :: [Type]) . ListType w t -> (forall a . () => w a -> a -> a) -> ListSum t -> ListSum t

    witness Data.Type.Witness.Specific.List.Sum

    No documentation available.

  10. mapSome :: forall k (g :: k -> Type) w1 w2 . (forall (t :: k) . () => w1 t -> w2 t) -> SomeFor g w1 -> SomeFor g w2

    witness Data.Type.Witness.Specific.Some

    No documentation available.

Page 265 of many | Previous | Next