Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. setContextPrecedence :: PrecedenceStack -> ScopeM ()

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

2. setCurrentModule :: MonadTCState m => ModuleName -> m ()

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

3. setLocalVars :: LocalVars -> ScopeM ()

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

4. setNamedScope :: ModuleName -> Scope -> ScopeM ()

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

5. setRecordConstructor :: QName -> (QName, Maybe Induction) -> ScopeM ()

   Agda	Agda.Syntax.Scope.Monad

   Record (ha) that a given record has the specified constructor name.

6. setUsability :: Bool -> Order -> Order

   Agda	Agda.Termination.Order

   No documentation available.

7. setBlockingVarOverlap :: BlockingVar -> BlockingVar

   Agda	Agda.TypeChecking.Coverage.Match

   No documentation available.

8. setEtaEquality :: EtaEquality -> HasEta -> EtaEquality

   Agda	Agda.TypeChecking.Monad.Base

   Make sure we do not overwrite a user specification.

9. setTCLens :: MonadTCState m => Lens' TCState a -> a -> m ()

   Agda	Agda.TypeChecking.Monad.Base

   Overwrite the part of the TCState focused on by the lens.

10. setTCLens' :: MonadTCState m => Lens' TCState a -> a -> m ()

    Agda	Agda.TypeChecking.Monad.Base

    Overwrite the part of the TCState focused on by the lens (strictly).

Page 751 of many | Previous | Next