Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.Options.Lenses

Description

Lenses for CommandLineOptions and PragmaOptions.

Add as needed.

Nothing smart happening here.

Synopsis

Pragma options

Verbosity in the local pragma options

Command line options

Safe mode

builtinModulesWithSafePostulates :: Set FilePath Source #

These builtins may use postulates, and are still considered --safe

builtinModulesWithUnsafePostulates :: Set FilePath Source #

These builtins may not use postulates under --safe. They are not automatically unsafe, but will be if they use an unsafe feature.

Include directories

class LensIncludePaths a where Source #

Minimal complete definition

getIncludePaths, getAbsoluteIncludePaths

Instances

Instances details
LensIncludePaths TCState Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

LensIncludePaths CommandLineOptions Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

LensIncludePaths PersistentTCState Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

Include directories

class LensPersistentVerbosity a where Source #

Minimal complete definition

getPersistentVerbosity

Instances

Instances details
LensPersistentVerbosity TCState Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

LensPersistentVerbosity PragmaOptions Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

LensPersistentVerbosity CommandLineOptions Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses

LensPersistentVerbosity PersistentTCState Source # 
Instance details

Defined in Agda.Interaction.Options.Lenses