Agda.Interaction.Options.Lenses
class LensPragmaOptions a
modifyPragmaOptions
class LensVerbosity a
modifyVerbosity
putVerbosity
class LensCommandLineOptions a
modifyCommandLineOptions
type SafeMode
class LensSafeMode a
modifySafeMode
putSafeMode
class LensIncludeDirs a
modifyIncludeDirs
putIncludeDirs
type PersistentVerbosity
class LensPersistentVerbosity a
modifyPersistentVerbosity
putPersistentVerbosity