Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. envExpandLast :: TCEnv -> ExpandHidden

   Agda	Agda.TypeChecking.Monad.Base

   When type-checking an alias f=e, we do not want to insert hidden arguments in the end, because these will become unsolved metas.

2. isDontExpandLast :: ExpandHidden -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. isExpandLast :: ExpandHidden -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. toExpandLast :: Bool -> ExpandHidden

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

7. doExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   Restore setting for ExpandLast to default.

8. dontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

9. reallyDontExpandLast :: TCM a -> TCM a

   Agda	Agda.TypeChecking.Monad.Env

   No documentation available.

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

Page 118 of many | Previous | Next