| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Options.Lenses
Description
Synopsis
- class LensPragmaOptions a where
- getPragmaOptions :: a -> PragmaOptions
- setPragmaOptions :: PragmaOptions -> a -> a
- mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> a
- lensPragmaOptions :: Lens' PragmaOptions a
- modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM ()
- class LensVerbosity a where
- getVerbosity :: a -> Verbosity
- setVerbosity :: Verbosity -> a -> a
- mapVerbosity :: (Verbosity -> Verbosity) -> a -> a
- modifyVerbosity :: (Verbosity -> Verbosity) -> TCM ()
- putVerbosity :: Verbosity -> TCM ()
- class LensCommandLineOptions a where
- getCommandLineOptions :: a -> CommandLineOptions
- setCommandLineOptions :: CommandLineOptions -> a -> a
- mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a
- modifyCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCM ()
- type SafeMode = Bool
- class LensSafeMode a where
- getSafeMode :: a -> SafeMode
- setSafeMode :: SafeMode -> a -> a
- mapSafeMode :: (SafeMode -> SafeMode) -> a -> a
- modifySafeMode :: (SafeMode -> SafeMode) -> TCM ()
- putSafeMode :: SafeMode -> TCM ()
- builtinModulesWithSafePostulates :: Set FilePath
- builtinModulesWithUnsafePostulates :: Set FilePath
- primitiveModules :: Set FilePath
- builtinModules :: Set FilePath
- isBuiltinModule :: FilePath -> TCM Bool
- isBuiltinModuleWithSafePostulates :: FilePath -> TCM Bool
- class LensIncludePaths a where
- getIncludePaths :: a -> [FilePath]
- setIncludePaths :: [FilePath] -> a -> a
- mapIncludePaths :: ([FilePath] -> [FilePath]) -> a -> a
- getAbsoluteIncludePaths :: a -> [AbsolutePath]
- setAbsoluteIncludePaths :: [AbsolutePath] -> a -> a
- mapAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> a -> a
- modifyIncludePaths :: ([FilePath] -> [FilePath]) -> TCM ()
- putIncludePaths :: [FilePath] -> TCM ()
- modifyAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> TCM ()
- putAbsoluteIncludePaths :: [AbsolutePath] -> TCM ()
- type PersistentVerbosity = Verbosity
- class LensPersistentVerbosity a where
- getPersistentVerbosity :: a -> PersistentVerbosity
- setPersistentVerbosity :: PersistentVerbosity -> a -> a
- mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a
- modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM ()
- putPersistentVerbosity :: PersistentVerbosity -> TCM ()
Pragma options
class LensPragmaOptions a where Source #
Minimal complete definition
Methods
getPragmaOptions :: a -> PragmaOptions Source #
setPragmaOptions :: PragmaOptions -> a -> a Source #
mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> a Source #
Instances
| LensPragmaOptions TCState Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getPragmaOptions :: TCState -> PragmaOptions Source # setPragmaOptions :: PragmaOptions -> TCState -> TCState Source # mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCState -> TCState Source # | |
| LensPragmaOptions CommandLineOptions Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getPragmaOptions :: CommandLineOptions -> PragmaOptions Source # setPragmaOptions :: PragmaOptions -> CommandLineOptions -> CommandLineOptions Source # mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> CommandLineOptions -> CommandLineOptions Source # lensPragmaOptions :: Lens' PragmaOptions CommandLineOptions Source # | |
modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM () Source #
Verbosity in the local pragma options
class LensVerbosity a where Source #
Minimal complete definition
Methods
getVerbosity :: a -> Verbosity Source #
setVerbosity :: Verbosity -> a -> a Source #
mapVerbosity :: (Verbosity -> Verbosity) -> a -> a Source #
Instances
| LensVerbosity TCState Source # | |
Defined in Agda.Interaction.Options.Lenses | |
| LensVerbosity PragmaOptions Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getVerbosity :: PragmaOptions -> Verbosity Source # setVerbosity :: Verbosity -> PragmaOptions -> PragmaOptions Source # mapVerbosity :: (Verbosity -> Verbosity) -> PragmaOptions -> PragmaOptions Source # | |
putVerbosity :: Verbosity -> TCM () Source #
Command line options
class LensCommandLineOptions a where Source #
Minimal complete definition
Methods
getCommandLineOptions :: a -> CommandLineOptions Source #
setCommandLineOptions :: CommandLineOptions -> a -> a Source #
mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a Source #
Instances
modifyCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCM () Source #
Safe mode
class LensSafeMode a where Source #
Minimal complete definition
Methods
getSafeMode :: a -> SafeMode Source #
setSafeMode :: SafeMode -> a -> a Source #
mapSafeMode :: (SafeMode -> SafeMode) -> a -> a Source #
Instances
| LensSafeMode TCState Source # | |
Defined in Agda.Interaction.Options.Lenses | |
| LensSafeMode PragmaOptions Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: PragmaOptions -> SafeMode Source # setSafeMode :: SafeMode -> PragmaOptions -> PragmaOptions Source # mapSafeMode :: (SafeMode -> SafeMode) -> PragmaOptions -> PragmaOptions Source # | |
| LensSafeMode CommandLineOptions Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: CommandLineOptions -> SafeMode Source # setSafeMode :: SafeMode -> CommandLineOptions -> CommandLineOptions Source # mapSafeMode :: (SafeMode -> SafeMode) -> CommandLineOptions -> CommandLineOptions Source # | |
| LensSafeMode PersistentTCState Source # | |
Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: PersistentTCState -> SafeMode Source # setSafeMode :: SafeMode -> PersistentTCState -> PersistentTCState Source # mapSafeMode :: (SafeMode -> SafeMode) -> PersistentTCState -> PersistentTCState Source # | |
putSafeMode :: SafeMode -> TCM () Source #
builtinModulesWithSafePostulates :: Set FilePath Source #
These builtins may use postulates, and are still considered --safe
builtinModulesWithUnsafePostulates :: Set FilePath Source #
These builtins may not use postulates under --safe. They are not automatically unsafe, but will be if they use an unsafe feature.
Include directories
class LensIncludePaths a where Source #
Minimal complete definition
Methods
getIncludePaths :: a -> [FilePath] Source #
setIncludePaths :: [FilePath] -> a -> a Source #
mapIncludePaths :: ([FilePath] -> [FilePath]) -> a -> a Source #
getAbsoluteIncludePaths :: a -> [AbsolutePath] Source #
setAbsoluteIncludePaths :: [AbsolutePath] -> a -> a Source #
mapAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> a -> a Source #
Instances
putIncludePaths :: [FilePath] -> TCM () Source #
modifyAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> TCM () Source #
putAbsoluteIncludePaths :: [AbsolutePath] -> TCM () Source #
Include directories
type PersistentVerbosity = Verbosity Source #
class LensPersistentVerbosity a where Source #
Minimal complete definition
Methods
getPersistentVerbosity :: a -> PersistentVerbosity Source #
setPersistentVerbosity :: PersistentVerbosity -> a -> a Source #
mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a Source #
Instances
modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM () Source #
putPersistentVerbosity :: PersistentVerbosity -> TCM () Source #