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

Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.Options.Lenses

Contents

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

type SafeMode = Bool #

Include directories

class LensIncludePaths a where #

Minimal complete definition

getIncludePaths, getAbsoluteIncludePaths

Include directories

class LensPersistentVerbosity a where #

Minimal complete definition

getPersistentVerbosity