Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Interaction.Options.Lenses

Contents

- Pragma options
  - Verbosity in the local pragma options
- Command line options
  - Safe mode
  - Include directories
  - Include directories

Description

Lenses for `CommandLineOptions` and `PragmaOptions`.

Add as needed.

Nothing smart happening here.

Synopsis

- modifyPragmaOptions :: MonadTCState m => (PragmaOptions -> PragmaOptions) -> m ()
- class LensVerbosity a where
  - getVerbosity :: a -> Verbosity
  - setVerbosity :: Verbosity -> a -> a
  - mapVerbosity :: (Verbosity -> Verbosity) -> a -> a
- modifyVerbosity :: MonadTCState m => (Verbosity -> Verbosity) -> m ()
- putVerbosity :: MonadTCState m => Verbosity -> m ()
- class LensCommandLineOptions a where
  - getCommandLineOptions :: a -> CommandLineOptions
  - setCommandLineOptions :: CommandLineOptions -> a -> a
  - mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a
- modifyCommandLineOptions :: MonadTCState m => (CommandLineOptions -> CommandLineOptions) -> m ()
- type SafeMode = Bool
- class LensSafeMode a where
  - getSafeMode :: a -> SafeMode
  - setSafeMode :: SafeMode -> a -> a
  - mapSafeMode :: (SafeMode -> SafeMode) -> a -> a
- modifySafeMode :: MonadTCState m => (SafeMode -> SafeMode) -> m ()
- putSafeMode :: MonadTCState m => SafeMode -> m ()
- class LensIncludePaths a where
  - 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 :: MonadTCState m => ([FilePath] -> [FilePath]) -> m ()
- putIncludePaths :: MonadTCState m => [FilePath] -> m ()
- modifyAbsoluteIncludePaths :: MonadTCState m => ([AbsolutePath] -> [AbsolutePath]) -> m ()
- putAbsoluteIncludePaths :: MonadTCState m => [AbsolutePath] -> m ()
- type PersistentVerbosity = Verbosity
- class LensPersistentVerbosity a where
  - getPersistentVerbosity :: a -> PersistentVerbosity
  - setPersistentVerbosity :: PersistentVerbosity -> a -> a
  - mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a
- modifyPersistentVerbosity :: MonadTCState m => (PersistentVerbosity -> PersistentVerbosity) -> m ()
- putPersistentVerbosity :: MonadTCState m => PersistentVerbosity -> m ()

# Pragma options

modifyPragmaOptions :: MonadTCState m => (PragmaOptions -> PragmaOptions) -> m () Source #

## Verbosity in the local pragma options

class LensVerbosity a where Source #

Minimal complete definition

getVerbosity

Methods

getVerbosity :: a -> Verbosity Source #

setVerbosity :: Verbosity -> a -> a Source #

mapVerbosity :: (Verbosity -> Verbosity) -> a -> a Source #

#### Instances

Instances details

LensVerbosity PragmaOptions Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getVerbosity :: PragmaOptions -> Verbosity Source # setVerbosity :: Verbosity -> PragmaOptions -> PragmaOptions Source # mapVerbosity :: (Verbosity -> Verbosity) -> PragmaOptions -> PragmaOptions Source #
LensVerbosity TCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getVerbosity :: TCState -> Verbosity Source # setVerbosity :: Verbosity -> TCState -> TCState Source # mapVerbosity :: (Verbosity -> Verbosity) -> TCState -> TCState Source #

modifyVerbosity :: MonadTCState m => (Verbosity -> Verbosity) -> m () Source #

putVerbosity :: MonadTCState m => Verbosity -> m () Source #

# Command line options

class LensCommandLineOptions a where Source #

Minimal complete definition

getCommandLineOptions

Methods

getCommandLineOptions :: a -> CommandLineOptions Source #

setCommandLineOptions :: CommandLineOptions -> a -> a Source #

mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> a -> a Source #

#### Instances

Instances details

LensCommandLineOptions PersistentTCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getCommandLineOptions :: PersistentTCState -> CommandLineOptions Source # setCommandLineOptions :: CommandLineOptions -> PersistentTCState -> PersistentTCState Source # mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> PersistentTCState -> PersistentTCState Source #
LensCommandLineOptions TCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getCommandLineOptions :: TCState -> CommandLineOptions Source # setCommandLineOptions :: CommandLineOptions -> TCState -> TCState Source # mapCommandLineOptions :: (CommandLineOptions -> CommandLineOptions) -> TCState -> TCState Source #

modifyCommandLineOptions :: MonadTCState m => (CommandLineOptions -> CommandLineOptions) -> m () Source #

## Safe mode

type SafeMode = Bool Source #

class LensSafeMode a where Source #

Minimal complete definition

getSafeMode

Methods

getSafeMode :: a -> SafeMode Source #

setSafeMode :: SafeMode -> a -> a Source #

mapSafeMode :: (SafeMode -> SafeMode) -> a -> a Source #

#### Instances

Instances details

LensSafeMode CommandLineOptions Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: CommandLineOptions -> SafeMode Source # setSafeMode :: SafeMode -> CommandLineOptions -> CommandLineOptions Source # mapSafeMode :: (SafeMode -> SafeMode) -> CommandLineOptions -> CommandLineOptions Source #
LensSafeMode PragmaOptions Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: PragmaOptions -> SafeMode Source # setSafeMode :: SafeMode -> PragmaOptions -> PragmaOptions Source # mapSafeMode :: (SafeMode -> SafeMode) -> PragmaOptions -> PragmaOptions Source #
LensSafeMode PersistentTCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: PersistentTCState -> SafeMode Source # setSafeMode :: SafeMode -> PersistentTCState -> PersistentTCState Source # mapSafeMode :: (SafeMode -> SafeMode) -> PersistentTCState -> PersistentTCState Source #
LensSafeMode TCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getSafeMode :: TCState -> SafeMode Source # setSafeMode :: SafeMode -> TCState -> TCState Source # mapSafeMode :: (SafeMode -> SafeMode) -> TCState -> TCState Source #

modifySafeMode :: MonadTCState m => (SafeMode -> SafeMode) -> m () Source #

putSafeMode :: MonadTCState m => SafeMode -> m () Source #

## Include directories

class LensIncludePaths a where Source #

Minimal complete definition

getIncludePaths, getAbsoluteIncludePaths

Methods

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 #

#### Instances

Instances details

LensIncludePaths CommandLineOptions Source # |

Instance details

Defined in Agda.Interaction.Options.Lenses

Methods

getIncludePaths :: CommandLineOptions -> [FilePath] Source #

setIncludePaths :: [FilePath] -> CommandLineOptions -> CommandLineOptions Source #

mapIncludePaths :: ([FilePath] -> [FilePath]) -> CommandLineOptions -> CommandLineOptions Source #

getAbsoluteIncludePaths :: CommandLineOptions -> [AbsolutePath] Source #

setAbsoluteIncludePaths :: [AbsolutePath] -> CommandLineOptions -> CommandLineOptions Source #

mapAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> CommandLineOptions -> CommandLineOptions Source #

LensIncludePaths PersistentTCState Source # |

Instance details

Defined in Agda.Interaction.Options.Lenses

Methods

getIncludePaths :: PersistentTCState -> [FilePath] Source #

setIncludePaths :: [FilePath] -> PersistentTCState -> PersistentTCState Source #

mapIncludePaths :: ([FilePath] -> [FilePath]) -> PersistentTCState -> PersistentTCState Source #

getAbsoluteIncludePaths :: PersistentTCState -> [AbsolutePath] Source #

setAbsoluteIncludePaths :: [AbsolutePath] -> PersistentTCState -> PersistentTCState Source #

mapAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> PersistentTCState -> PersistentTCState Source #

LensIncludePaths TCState Source # |

Instance details

Defined in Agda.Interaction.Options.Lenses

Methods

getIncludePaths :: TCState -> [FilePath] Source #

setIncludePaths :: [FilePath] -> TCState -> TCState Source #

mapIncludePaths :: ([FilePath] -> [FilePath]) -> TCState -> TCState Source #

getAbsoluteIncludePaths :: TCState -> [AbsolutePath] Source #

setAbsoluteIncludePaths :: [AbsolutePath] -> TCState -> TCState Source #

mapAbsoluteIncludePaths :: ([AbsolutePath] -> [AbsolutePath]) -> TCState -> TCState Source #

modifyIncludePaths :: MonadTCState m => ([FilePath] -> [FilePath]) -> m () Source #

putIncludePaths :: MonadTCState m => [FilePath] -> m () Source #

modifyAbsoluteIncludePaths :: MonadTCState m => ([AbsolutePath] -> [AbsolutePath]) -> m () Source #

putAbsoluteIncludePaths :: MonadTCState m => [AbsolutePath] -> m () Source #

## Include directories

type PersistentVerbosity = Verbosity Source #

class LensPersistentVerbosity a where Source #

Minimal complete definition

getPersistentVerbosity

Methods

getPersistentVerbosity :: a -> PersistentVerbosity Source #

setPersistentVerbosity :: PersistentVerbosity -> a -> a Source #

mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> a -> a Source #

#### Instances

Instances details

LensPersistentVerbosity CommandLineOptions Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getPersistentVerbosity :: CommandLineOptions -> PersistentVerbosity Source # setPersistentVerbosity :: PersistentVerbosity -> CommandLineOptions -> CommandLineOptions Source # mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> CommandLineOptions -> CommandLineOptions Source #
LensPersistentVerbosity PragmaOptions Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getPersistentVerbosity :: PragmaOptions -> PersistentVerbosity Source # setPersistentVerbosity :: PersistentVerbosity -> PragmaOptions -> PragmaOptions Source # mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> PragmaOptions -> PragmaOptions Source #
LensPersistentVerbosity PersistentTCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getPersistentVerbosity :: PersistentTCState -> PersistentVerbosity Source # setPersistentVerbosity :: PersistentVerbosity -> PersistentTCState -> PersistentTCState Source # mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> PersistentTCState -> PersistentTCState Source #
LensPersistentVerbosity TCState Source # |
Instance details Defined in Agda.Interaction.Options.Lenses Methods getPersistentVerbosity :: TCState -> PersistentVerbosity Source # setPersistentVerbosity :: PersistentVerbosity -> TCState -> TCState Source # mapPersistentVerbosity :: (PersistentVerbosity -> PersistentVerbosity) -> TCState -> TCState Source #

modifyPersistentVerbosity :: MonadTCState m => (PersistentVerbosity -> PersistentVerbosity) -> m () Source #

putPersistentVerbosity :: MonadTCState m => PersistentVerbosity -> m () Source #