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. isDontExpandLast :: ExpandHidden -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. isExpandLast :: ExpandHidden -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. toExpandLast :: Bool -> ExpandHidden

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

6. doExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   Restore setting for ExpandLast to default.

7. dontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

8. reallyDontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

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

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

    Agda	Agda.Utils.List

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

Page 117 of many | Previous | Next