Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. mapMaybeInput :: (Monoid s, Monoid s') => (s -> Maybe s') -> (s' -> Maybe s) -> Parser t s r -> Parser t s' r

   incremental-parser	Text.ParserCombinators.Incremental.Symmetric

   Converts a parser accepting one input type to another, just like 'mapMaybeInput except the two argument functions can demand more input by returning Nothing. If 'mapMaybeInput is defined for the two input inputs, then

   mapInput f g == mapMaybeInput (Just . f) (Just . g)
   

2. mapType :: (forall a . () => Parser t s a -> Parser b s a) -> Parser t s r -> Parser b s r

   incremental-parser	Text.ParserCombinators.Incremental.Symmetric

   Modifies the parser type

3. mapSubject :: (b -> a) -> SpecWith a -> SpecWith b

   keyed-vals-hspec-tests	Test.KeyedVals.Hspec

   Modify the subject under test. Note that this resembles a contravariant functor on the first type parameter of SpecM. This is because the subject is passed inwards, as an argument to the spec item.

4. mapAccum :: (a -> b % 1 -> (b, Ur c)) -> [a] -> b % 1 -> (b, Ur [c])

   linear-base	Simple.TopSort

   No documentation available.

5. mapDef :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

6. mapSel :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

7. mapSto :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

8. mapBindEnv :: (BindId -> (Symbol, SortedReft, a) -> (Symbol, SortedReft, a)) -> BindEnv a -> BindEnv a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

9. mapMSEnv :: Monad m => (a -> m b) -> SEnv a -> m (SEnv b)

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

10. mapSEnv :: (a -> b) -> SEnv a -> SEnv b

    liquid-fixpoint	Language.Fixpoint.Types.Environments

    No documentation available.

Page 243 of many | Previous | Next