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

Safe HaskellNone
LanguageHaskell98

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

class LensVerbosity a where

Minimal complete definition

getVerbosity

Methods

getVerbosity :: a -> Verbosity

setVerbosity :: Verbosity -> a -> a

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

Command line options

Safe mode

type SafeMode = Bool

Include directories

Include directories