Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. map :: (SymVal a, SymVal b) => (SBV a -> SBV b) -> SMaybe a -> SMaybe b

    sbv Data.SBV.Maybe

    Map over the Just side of a Maybe. 

    >>> prove $ \x -> fromJust (map (+1) (sJust x)) .== x+(1::SInteger)
Q.E.D.

>>> let f = uninterpret "f" :: SInteger -> SBool

>>> prove $ \x -> map f (sJust x) .== sJust (f x)
Q.E.D.

>>> map f sNothing .== sNothing
True

  2. map :: forall (m :: Type -> Type) a b . Monad m => (a -> b) -> Pipe m a b

    streamly-core Streamly.Internal.Data.Pipe

    Lift a pure function to a Pipe.

  3. map :: forall (m :: Type -> Type) a b . Monad m => (a -> b) -> Stream m a -> Stream m b

    streamly-core Streamly.Internal.Data.Stream

    No documentation available.

  4. map :: forall (m :: Type -> Type) a b . Monad m => (a -> b) -> Stream m a -> Stream m b

    streamly-core Streamly.Internal.Data.Stream

    No documentation available.

  5. map :: forall a b (m :: Type -> Type) . (a -> b) -> StreamK m a -> StreamK m b

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  6. map :: forall (m :: Type -> Type) b c a . Functor m => (b -> c) -> Unfold m a b -> Unfold m a c

    streamly-core Streamly.Internal.Data.Unfold

    Map a function on the output of the unfold (the type b). 

    >>> map f = Unfold.map2 (const f)
    Pre-release

  7. map :: forall (m :: Type -> Type) a b . Monad m => (a -> b) -> Stream m a -> Stream m b

    vector-stream Data.Stream.Monadic

    Map a function over a Stream

  8. map :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> Exp

    Agda Agda.Compiler.JS.Substitution

    No documentation available.

  9. map :: Ord b => (a -> b) -> Bag a -> Bag b

    Agda Agda.Utils.Bag

    O(n).

  10. map :: (a -> b) -> NonEmpty a -> NonEmpty b

    Agda Agda.Utils.List1

    Map a function over a NonEmpty stream.

Page 25 of many | Previous | Next