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. setIncludeDirs :: [FilePath] -> AbsolutePath -> TCM ()

   Agda	Agda.TypeChecking.Monad.Options

   Makes the given directories absolute and stores them as include directories. If the include directories change, then the state is reset (completely, except for the include directories and some other things). An empty list is interpreted as ["."].

2. setLibraryIncludes :: CommandLineOptions -> TCM CommandLineOptions

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

3. setLibraryPaths :: AbsolutePath -> CommandLineOptions -> TCM CommandLineOptions

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

4. setOptionsFromPragma :: OptionsPragma -> TCM ()

   Agda	Agda.TypeChecking.Monad.Options

   Set pragma options without checking for consistency.

5. setOptionsFromPragma' :: Bool -> OptionsPragma -> TCM ()

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

6. setPragmaOptions :: PragmaOptions -> TCM ()

   Agda	Agda.TypeChecking.Monad.Options

   Sets the pragma options. Checks for unsafe combinations.

7. setArgOccurrences :: MonadTCState m => QName -> [Occurrence] -> m ()

   Agda	Agda.TypeChecking.Monad.Signature

   Sets the defArgOccurrences for the given identifier (which should already exist in the signature).

8. setCompiledArgUse :: QName -> [ArgUsage] -> TCM ()

   Agda	Agda.TypeChecking.Monad.Signature

   No documentation available.

9. setCompiledClauses :: QName -> CompiledClauses -> TCM ()

   Agda	Agda.TypeChecking.Monad.Signature

   Set CompiledClauses of a defined function symbol.

10. setErasedConArgs :: QName -> [Bool] -> TCM ()

    Agda	Agda.TypeChecking.Monad.Signature

    No documentation available.

Page 753 of many | Previous | Next