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.

Exact lookup

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

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

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

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

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

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

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

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

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

10. mapMaybeParserInput :: (InputMappableParsing m, InputParsing (m s), s ~ ParserInput (m s), Monoid s, Monoid s') => (s -> Maybe s') -> (s' -> Maybe s) -> m s a -> m s' a

    construct	Construct.Classes

    Converts a parser accepting one input stream type to another just like mapParserInput, except the argument functions can return Nothing to indicate they need more input.

Page 325 of many | Previous | Next