Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

Exact lookup

1. buildWithStmt :: List1 (Named Name Expr) -> Parser [Either RewriteEqn (List1 (Named Name Expr))]

   Agda	Agda.Syntax.Parser.Helpers

   Build a with-statement

2. defaultBuildDoStmt :: Expr -> [LamClause] -> Parser DoStmt

   Agda	Agda.Syntax.Parser.Helpers

   Build a do-statement

3. stPostModuleCheckpoints :: PostScopeState -> !Map ModuleName CheckpointId

   Agda	Agda.TypeChecking.Monad.Base

   For each module remember the checkpoint corresponding to the orignal context of the module parameters.

4. stPostMutualBlocks :: PostScopeState -> !MutualBlocks

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. caseListM :: Monad m => m [a] -> m b -> (a -> [a] -> m b) -> m b

   Agda	Agda.Utils.List

   Case distinction for lists, with list first. O(1). Cf. ifNull.

6. lastMaybe :: [a] -> Maybe a

   Agda	Agda.Utils.List

   Last element (safe). O(n).

7. fromListMaybe :: [a] -> Maybe (List2 a)

   Agda	Agda.Utils.List2

   Safe. O(1).

8. adjustM :: (Functor f, Ord k) => (v -> f v) -> k -> Map k v -> f (Map k v)

   Agda	Agda.Utils.Map

   Update monadically the value at one position (must exist!).

9. adjustM' :: (Functor f, Ord k) => (v -> f (a, v)) -> k -> Map k v -> f (a, Map k v)

   Agda	Agda.Utils.Map

   Wrapper for adjustM for convenience.

10. allJustM :: Monad m => [m (Maybe a)] -> m (Maybe [a])

    Agda	Agda.Utils.Maybe

    Lazy version of allJust . sequence. (allJust = mapM for the Maybe monad.) Only executes monadic effect while isJust.

Page 164 of many | Previous | Next