Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Interaction.Options.Lenses
Contents
Description
- class LensPragmaOptions a where
- modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM ()
- class LensVerbosity a where
- modifyVerbosity :: (Verbosity -> Verbosity) -> TCM ()
- putVerbosity :: Verbosity -> TCM ()
- class LensCommandLineOptions a where
- modifyCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCM ()
- type SafeMode = Bool
- class LensSafeMode a where
- modifySafeMode :: (SafeMode -> SafeMode) -> TCM ()
- putSafeMode :: SafeMode -> TCM ()
- class LensIncludePaths a where
- modifyIncludePaths :: ([FilePath] -> [FilePath]) -> TCM ()
- putIncludePaths :: [FilePath] -> TCM ()
- modifyAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> TCM ()
- putAbsoluteIncludePaths :: [AbsolutePath] -> TCM ()
- type PersistentVerbosity = Verbosity
- class LensPersistentVerbosity a where
- modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM ()
- putPersistentVerbosity :: PersistentVerbosity -> TCM ()
Pragma options
class LensPragmaOptions a where #
Minimal complete definition
Methods
getPragmaOptions :: a -> PragmaOptions #
setPragmaOptions :: PragmaOptions -> a -> a #
mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> a #
modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM () #
Verbosity in the local pragma options
class LensVerbosity a where #
Minimal complete definition
Methods
getVerbosity :: a -> Verbosity #
setVerbosity :: Verbosity -> a -> a #
mapVerbosity :: (Verbosity -> Verbosity) -> a -> a #
Instances
modifyVerbosity :: (Verbosity -> Verbosity) -> TCM () #
putVerbosity :: Verbosity -> TCM () #
Command line options
class LensCommandLineOptions a where #
Minimal complete definition
Methods
getCommandLineOptions :: a -> CommandLineOptions #
setCommandLineOptions :: CommandLineOptions -> a -> a #
mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a #
modifyCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCM () #
Safe mode
class LensSafeMode a where #
Minimal complete definition
Methods
getSafeMode :: a -> SafeMode #
setSafeMode :: SafeMode -> a -> a #
mapSafeMode :: (SafeMode -> SafeMode) -> a -> a #
modifySafeMode :: (SafeMode -> SafeMode) -> TCM () #
putSafeMode :: SafeMode -> TCM () #
Include directories
class LensIncludePaths a where #
Minimal complete definition
Methods
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 () #
Include directories
type PersistentVerbosity = Verbosity #
class LensPersistentVerbosity a where #
Minimal complete definition
Methods
getPersistentVerbosity :: a -> PersistentVerbosity #
setPersistentVerbosity :: PersistentVerbosity -> a -> a #
mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a #
modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM () #
putPersistentVerbosity :: PersistentVerbosity -> TCM () #