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

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

   linear-base	Simple.TopSort

   No documentation available.

3. mapDef :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

4. mapSel :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

5. mapSto :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

9. mapSEnvWithKey :: ((Symbol, a) -> (Symbol, b)) -> SEnv a -> SEnv b

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

10. mapWithKeyMBindEnv :: Monad m => ((BindId, (Symbol, SortedReft)) -> m (BindId, (Symbol, SortedReft))) -> BindEnv a -> m (BindEnv a)

    liquid-fixpoint	Language.Fixpoint.Types.Environments

    No documentation available.

Page 245 of many | Previous | Next