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

Agda.Auto.Options

Synopsis

Documentation

type Hints = [String] Source #

newtype TimeOut Source #

Constructors

TimeOut 

Fields

Instances

Instances details
Show TimeOut Source # 
Instance details

Defined in Agda.Auto.Options

data AutoOptions Source #

Options for Auto, default value and lenses

data AutoToken Source #

Tokenising the input (makes parseArgs cleaner)

Constructors

M 
C 
R 
D 
L 
T String 
S Int 
H String