Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

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

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

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

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

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

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

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

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

9. mapSerialized :: 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 -> t) -> (t -> 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

   >>> testParse (mapSerialized ByteString.unpack ByteString.pack byte) [1,2,3]
   Right [(1,[2,3])]
   

10. mapValue :: forall (m :: Type -> Type) a b (n :: Type -> Type) s . Functor m => (a -> b) -> (b -> 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.

    >>> testParse (mapValue (read @Int) show $ takeCharsWhile1 isDigit) "012 34"
    Right [(12," 34")]
    
    >>> testSerialize (mapValue read show $ takeCharsWhile1 isDigit) 12
    Right "12"
    

Page 286 of many | Previous | Next