Safe Haskell | None |
---|
- class LensPragmaOptions a where
- getPragmaOptions :: a -> PragmaOptions
- setPragmaOptions :: PragmaOptions -> a -> a
- mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> 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 ()
- class LensIncludeDirs a where
- getIncludeDirs :: a -> IncludeDirs
- setIncludeDirs :: IncludeDirs -> a -> a
- mapIncludeDirs :: (IncludeDirs -> IncludeDirs) -> a -> a
- modifyIncludeDirs :: (IncludeDirs -> IncludeDirs) -> TCM ()
- putIncludeDirs :: IncludeDirs -> 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 whereSource
getPragmaOptions :: a -> PragmaOptionsSource
setPragmaOptions :: PragmaOptions -> a -> aSource
mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> aSource
modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM ()Source
Verbosity in the local pragma options
class LensVerbosity a whereSource
getVerbosity :: a -> VerbositySource
setVerbosity :: Verbosity -> a -> aSource
mapVerbosity :: (Verbosity -> Verbosity) -> a -> aSource
modifyVerbosity :: (Verbosity -> Verbosity) -> TCM ()Source
putVerbosity :: Verbosity -> TCM ()Source
Command line options
class LensCommandLineOptions a whereSource
getCommandLineOptions :: a -> CommandLineOptionsSource
setCommandLineOptions :: CommandLineOptions -> a -> aSource
mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> aSource
Safe mode
class LensSafeMode a whereSource
getSafeMode :: a -> SafeModeSource
setSafeMode :: SafeMode -> a -> aSource
mapSafeMode :: (SafeMode -> SafeMode) -> a -> aSource
modifySafeMode :: (SafeMode -> SafeMode) -> TCM ()Source
putSafeMode :: SafeMode -> TCM ()Source
Include directories
class LensIncludeDirs a whereSource
getIncludeDirs :: a -> IncludeDirsSource
setIncludeDirs :: IncludeDirs -> a -> aSource
mapIncludeDirs :: (IncludeDirs -> IncludeDirs) -> a -> aSource
modifyIncludeDirs :: (IncludeDirs -> IncludeDirs) -> TCM ()Source
putIncludeDirs :: IncludeDirs -> TCM ()Source
Include directories
class LensPersistentVerbosity a whereSource
getPersistentVerbosity :: a -> PersistentVerbositySource
setPersistentVerbosity :: PersistentVerbosity -> a -> aSource
mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> aSource