Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. mapOutput :: forall p o i u (m :: Type -> Type) a . (p -> o) -> Pipe i p u m a -> Pipe i o u m a

   conduino	Data.Conduino

   Map over the downstream output type. If you want to map over the result type, use fmap.

2. mapUpRes :: forall u v i o (m :: Type -> Type) a . (u -> v) -> Pipe i o v m a -> Pipe i o u m a

   conduino	Data.Conduino

   (Contravariantly) map over the upstream result type.

3. mapAccum :: forall i s o u (m :: Type -> Type) . (i -> s -> (s, o)) -> s -> Pipe i o u m u

   conduino	Data.Conduino.Combinators

   Map a pure "stateful" function over each incoming item. Give a function to update the state and return an output and an initial state.

4. mapM :: Monad m => (i -> m o) -> Pipe i o u m u

   conduino	Data.Conduino.Combinators

   Map a monadic function to process every input, and yield its output.

5. mapInput :: forall i j o u (m :: Type -> Type) a . (i -> j) -> Pipe j o u m a -> Pipe i o u m a

   conduino	Data.Conduino.Internal

   (Contravariantly) map over the expected input type.

6. mapOutput :: forall p o i u (m :: Type -> Type) a . (p -> o) -> Pipe i p u m a -> Pipe i o u m a

   conduino	Data.Conduino.Internal

   Map over the downstream output type. If you want to map over the result type, use fmap.

7. mapUpRes :: forall u v i o (m :: Type -> Type) a . (u -> v) -> Pipe i o v m a -> Pipe i o u m a

   conduino	Data.Conduino.Internal

   (Contravariantly) map over the upstream result type.

8. mappend :: Monoid a => a -> a -> a

   configuration-tools	Configuration.Utils.CommandLine

   An associative operation NOTE: This method is redundant and has the default implementation mappend = (<>) since base-4.11.0.0. Should it be implemented manually, since mappend is a synonym for (<>), it is expected that the two functions are defined the same way. In a future GHC release mappend will be removed from Monoid.

9. mapMaybeSerialized :: forall s t (m :: Type -> Type -> Type) (n :: Type -> Type) a . (Monoid s, Monoid t, InputParsing (m s), InputParsing (m t), s ~ ParserInput (m s), t ~ ParserInput (m t), InputMappableParsing m, Functor n) => (s -> Maybe t) -> (t -> Maybe s) -> Format (m s) n s a -> Format (m t) n t a

   construct	Construct

   Converts a format for serialized streams of type s so it works for streams of type t instead. The argument functions may return Nothing to indicate they have insuficient input to perform the conversion.

10. mapMaybeValue :: forall (m :: Type -> Type) a b (n :: Type -> Type) s . (Monad m, Parsing m, Show a, Show b, AlternativeFail n) => (a -> Maybe b) -> (b -> Maybe a) -> Format m n s a -> Format m n s b

    construct	Construct

    Converts a format for in-memory values of type a so it works for values of type b instead. The argument functions may signal conversion failure by returning Nothing.

Page 284 of many | Previous | Next