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.
setBuiltinThings :: BuiltinThings -> TCM ()Agda Agda.TypeChecking.Monad.Builtin No documentation available.
setDecodedModules :: DecodedModules -> TCM ()Agda Agda.TypeChecking.Monad.Imports No documentation available.
setVisitedModules :: VisitedModules -> TCM ()Agda Agda.TypeChecking.Monad.Imports No documentation available.
setMetaGeneralizableArgInfo :: MonadMetaSolver m => MetaId -> ArgInfo -> m ()Agda Agda.TypeChecking.Monad.MetaVars Change the ArgInfo that will be used when generalizing over this local meta-variable.
setMetaNameSuggestion :: MonadMetaSolver m => MetaId -> MetaNameSuggestion -> m ()Agda Agda.TypeChecking.Monad.MetaVars No documentation available.
setMetaOccursCheck :: MonadMetaSolver m => MetaId -> RunMetaOccursCheck -> m ()Agda Agda.TypeChecking.Monad.MetaVars No documentation available.
setValueMetaName :: MonadMetaSolver m => Term -> MetaNameSuggestion -> m ()Agda Agda.TypeChecking.Monad.MetaVars No documentation available.
setMutualBlock :: MutualId -> QName -> TCM ()Agda Agda.TypeChecking.Monad.Mutual Set the mutual block for a definition.
setCommandLineOptions :: CommandLineOptions -> TCM ()Agda Agda.TypeChecking.Monad.Options Sets the command line options (both persistent and pragma options are updated). Relative include directories are made absolute with respect to the current working directory. If the include directories have changed then the state is reset (partly, see setIncludeDirs). An empty list of relative include directories (Left []) is interpreted as ["."].
setCommandLineOptions' :: AbsolutePath -> CommandLineOptions -> TCM ()Agda Agda.TypeChecking.Monad.Options No documentation available.