Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 Source #
getPragmaOptions :: a -> PragmaOptions Source #
setPragmaOptions :: PragmaOptions -> a -> a Source #
mapPragmaOptions :: (PragmaOptions -> PragmaOptions) -> a -> a Source #
modifyPragmaOptions :: (PragmaOptions -> PragmaOptions) -> TCM () Source #
Verbosity in the local pragma options
class LensVerbosity a where Source #
getVerbosity :: a -> Verbosity Source #
setVerbosity :: Verbosity -> a -> a Source #
mapVerbosity :: (Verbosity -> Verbosity) -> a -> a Source #
putVerbosity :: Verbosity -> TCM () Source #
Command line options
class LensCommandLineOptions a where Source #
getCommandLineOptions :: a -> CommandLineOptions Source #
setCommandLineOptions :: CommandLineOptions -> a -> a Source #
mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a Source #
modifyCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCM () Source #
Safe mode
class LensSafeMode a where Source #
getSafeMode :: a -> SafeMode Source #
setSafeMode :: SafeMode -> a -> a Source #
mapSafeMode :: (SafeMode -> SafeMode) -> a -> a Source #
putSafeMode :: SafeMode -> TCM () Source #
Include directories
class LensIncludePaths a where Source #
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 #
putIncludePaths :: [FilePath] -> TCM () Source #
modifyAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> TCM () Source #
putAbsoluteIncludePaths :: [AbsolutePath] -> TCM () Source #
Include directories
type PersistentVerbosity = Verbosity Source #
class LensPersistentVerbosity a where Source #
getPersistentVerbosity :: a -> PersistentVerbosity Source #
setPersistentVerbosity :: PersistentVerbosity -> a -> a Source #
mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a Source #
modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM () Source #
putPersistentVerbosity :: PersistentVerbosity -> TCM () Source #