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
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 LensIncludeDirs a where
Minimal complete definition
Methods
getIncludeDirs :: a -> IncludeDirs
setIncludeDirs :: IncludeDirs -> a -> a
mapIncludeDirs :: (IncludeDirs -> IncludeDirs) -> a -> a
modifyIncludeDirs :: (IncludeDirs -> IncludeDirs) -> TCM ()
putIncludeDirs :: IncludeDirs -> 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 ()