Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

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

Exact lookup

1. toExpandLast :: Bool -> ExpandHidden

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. primAgdaTCMAskExpandLast :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

3. primAgdaTCMWithExpandLast :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

4. doExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   Restore setting for ExpandLast to default.

5. dontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

6. reallyDontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

7. checkDontExpandLast :: Comparison -> Expr -> Type -> TCM Term

   Agda	Agda.TypeChecking.Rules.Term

   Used to check aliases f = e. Switches off ExpandLast for the checking of top-level application.

8. initLast :: [a] -> Maybe ([a], a)

   Agda	Agda.Utils.List

   init and last in one go, safe. O(n).

9. initLast1 :: a -> [a] -> ([a], a)

   Agda	Agda.Utils.List

   init and last of non-empty list, safe. O(n). initLast1 a as = (init (a:as), last (a:as)

10. updateLast :: (a -> a) -> [a] -> [a]

    Agda	Agda.Utils.List

    Update the last element of a list, if it exists. O(n).

Page 117 of many | Previous | Next