| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Interaction.Options.Lenses
Contents
Description
- 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 where Source
Minimal complete definition
Methods
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
Minimal complete definition
Methods
getVerbosity :: a -> Verbosity Source
setVerbosity :: Verbosity -> a -> a Source
mapVerbosity :: (Verbosity -> Verbosity) -> a -> a Source
Instances
modifyVerbosity :: (Verbosity -> Verbosity) -> TCM () 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
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
modifySafeMode :: (SafeMode -> SafeMode) -> TCM () Source
putSafeMode :: SafeMode -> TCM () Source
Include directories
class LensIncludeDirs a where Source
Minimal complete definition
Methods
getIncludeDirs :: a -> IncludeDirs Source
setIncludeDirs :: IncludeDirs -> a -> a Source
mapIncludeDirs :: (IncludeDirs -> IncludeDirs) -> a -> a Source
modifyIncludeDirs :: (IncludeDirs -> IncludeDirs) -> TCM () Source
putIncludeDirs :: IncludeDirs -> 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
modifyPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCM () Source