Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. formatDebugMessage :: MonadDebug m => VerboseKey -> VerboseLevel -> TCM Doc -> m String

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

2. forceEtaExpandRecord :: (HasConstInfo m, MonadDebug m, ReadTCState m, MonadError TCErr m) => QName -> Args -> Term -> m (Telescope, Args)

   Agda	Agda.TypeChecking.Records

   Eta expand a record regardless of whether it's an eta-record or not.

3. forceSort :: Type -> TCM Sort

   Agda	Agda.TypeChecking.Rules.Data

   Ensure that the type is a sort. If it is not directly a sort, compare it to a newSortMetaBelowInf.

4. forA :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)

   Agda	Agda.Utils.Applicative

   Better name for for.

5. forMaybe :: [a] -> (a -> Maybe b) -> [b]

   Agda	Agda.Utils.Maybe

   Version of mapMaybe with different argument ordering.

6. forMaybe :: [a] -> (a -> Maybe b) -> [b]

   Agda	Agda.Utils.Maybe.Strict

   Version of mapMaybe with different argument ordering.

7. forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)

   Agda	Agda.Utils.Monad

   forM is mapM with its arguments flipped. For a version that ignores the results see forM_.

8. forM' :: (Foldable t, Applicative m, Monoid b) => t a -> (a -> m b) -> m b

   Agda	Agda.Utils.Monad

   Generalized version of for_ :: Applicative m => [a] -> (a -> m ()) -> m ()

9. forMM :: (Traversable t, Monad m) => m (t a) -> (a -> m b) -> m (t b)

   Agda	Agda.Utils.Monad

   No documentation available.

10. forMM_ :: (Foldable t, Monad m) => m (t a) -> (a -> m ()) -> m ()

    Agda	Agda.Utils.Monad

    No documentation available.

Page 150 of many | Previous | Next